Safe code relied upon by unsafe is effectively unsafe

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