If anyone wants to read more about this in a semi-formal fashion, there's the unsafe mental model. The particular notion Ralf mentions is tracked by the robust
keyword which is the dual of unsafe
with respect to variance. This has currently no syntax or convention but still exists and is necessary to prove soundness.
3 Likes