According to this picture from TI
and Type-C specification, I am wondering where is the protection for these super speed differential lines
As it seems that when an improper removal happens, there is a chance that VBUS might contact the adjacent differential lines, and I don't think ESD protectors on these lines will protect them from shorting to VBUS.
And I checked the common MUX's datasheet used on these lines(HD3SS3220), the absolute maximum rating voltage on these lines is 2.5V, so MUX won't protect VBUS for PHY.
Edit: The picture is from this article: The problem with short-to-VBUS protection integrated into your USB Type-C™/USB Power Delivery controller