rust/tests/ui/transmutability/safety
Jack Wrenn 23ab1bda92 safe transmute: revise safety analysis
Migrate to a simplified safety analysis that does not use visibility.

Closes https://github.com/rust-lang/project-safe-transmute/issues/15
2024-02-27 16:22:32 +00:00
..
assume safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00
should_accept_if_src_has_safety_invariant.rs safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00
should_reject_if_dst_has_safety_invariant.rs safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00
should_reject_if_dst_has_safety_invariant.stderr safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00
should_reject_if_ref_src_has_safety_invariant.rs safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00
should_reject_if_ref_src_has_safety_invariant.stderr safe transmute: revise safety analysis 2024-02-27 16:22:32 +00:00