100644 blob 0113049f51e533a207d0e45e4e606d6cfe1fc4b6	should_accept_if_dst_has_safety_invariant.rs
100644 blob eca7a06559d2137859321e860fe8d33baae2bcef	should_accept_if_ref_src_has_safety_invariant.rs
100644 blob 46e84b48044f58c6c57054fbb12a2ae74c22a2d9	should_accept_if_src_has_safety_invariant.rs