I'm surprised that this didn't cause a noticeable noise, since it originally happened "while the car is running". Every time I've seen this happen the fingers contacting the disc made a loud clanking sound.
My experience with this has been with hydraulic clutch setups where the MC diameter is too large and makes the TO bearing travel too far.