…
..
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