46     /// - `ptr` conforms to the aliasing invariant of
48     /// - `ptr` conforms to the alignment invariant of
50     /// - `ptr` conforms to the validity invariant of
64         /// 0. `ptr` conforms to the aliasing invariant of
66         /// 1. `ptr` conforms to the alignment invariant of
68         /// 2. `ptr` conforms to the validity invariant of
86         /// 0. `ptr` conforms to the aliasing invariant of
88         /// 1. `ptr` conforms to the alignment invariant of
90         /// 2. `ptr` conforms to the validity invariant of
181             // 0. `ptr`, by invariant on `&'a T`, conforms to the aliasing  in from_ref()
183             // 1. `ptr`, by invariant on `&'a T`, conforms to the alignment  in from_ref()
208             // 0. `ptr`, by invariant on `&'a mut T`, conforms to the aliasing  in from_mut()
210             // 1. `ptr`, by invariant on `&'a mut T`, conforms to the alignment  in from_mut()
301             // 1. `ptr` conforms to the alignment invariant of  in reborrow()
303             // 2. `ptr` conforms to the validity invariant of  in reborrow()
347             // 1. `ptr` conforms to the alignment invariant of  in reborrow_shared()
349             // 2. `ptr` conforms to the validity invariant of  in reborrow_shared()
526             // 0. `ptr` conforms to the aliasing invariant of `I::Aliasing`:  in project_transmute_unchecked()
664         /// The caller promises that `self`'s referent conforms to the alignment
708         /// Assumes that `self`'s referent conforms to the validity requirement
713         /// The caller promises that `self`'s referent conforms to the validity
720             // SAFETY: The caller promises that `self`'s referent conforms to  in assume_validity()
786                 // long as `self`'s referent conforms to the `Valid` validity  in try_into_valid()
893                     // `T::project(self.as_inner())` conforms to  in project()
967                     // 1. `self` conforms to `I::Aliasing` by invariant on  in try_with_unchecked()
1040             // 0. Thus, `slice` conforms to the aliasing invariant of  in as_slice()
1042             // 1. By the above lemma, `slice` conforms to the alignment  in as_slice()
1134             // 1. `ptr` conforms to the alignment invariant of `Aligned` because  in try_cast_into()
1275             // 0. `elem` conforms to the aliasing invariant of `I::Aliasing`:  in iter()
1284             // 1. `elem`, conditionally, conforms to the validity invariant of  in iter()
1287             // 2. `elem` conforms to the validity invariant of `I::Validity`.  in iter()