Reference validity has not been figured out yet: https://github.com/rust-lang/unsafe-code-guidelines/issues/77 For our purposes perhaps we can mention this but provide "for a reference to be valid pointed-to data must be valid" as an approximation
Reference validity has not been figured out yet: rust-lang/unsafe-code-guidelines#77
For our purposes perhaps we can mention this but provide "for a reference to be valid pointed-to data must be valid" as an approximation