Files
rust/library
Guillaume Gomez 5087947695 Rollup merge of #125021 - joshlf:patch-11, r=RalfJung
Update reference safety requirements

Per https://github.com/rust-lang/rust/pull/116677#issuecomment-1945495786, the language as written promises too much. This PR relaxes the language to be consistent with current semantics. If and when #117945 is implemented, we can revert to the old language.

While we're here, we also require that references be non-null.

cc ``@RalfJung``
2024-05-12 13:41:57 +02:00
..
2024-04-12 16:28:19 -07:00
2024-05-11 12:08:19 -07:00
2024-04-24 13:12:25 +01:00
2024-04-21 21:35:17 -04:00