/tests/ui/transmutability/safety/assume/

• ../
• should_accept_if_dst_has_safety_invariant.rs
• should_accept_if_ref_src_has_safety_invariant.rs
• should_accept_if_src_has_safety_invariant.rs