/tests/ui/transmutability/safety/

• ../
• assume
• should_accept_if_src_has_safety_invariant.rs
• should_reject_if_dst_has_safety_invariant.rs
• should_reject_if_dst_has_safety_invariant.stderr
• should_reject_if_ref_src_has_safety_invariant.rs
• should_reject_if_ref_src_has_safety_invariant.stderr