Add "not guaranteed to be equal" · qinheping/verify-rust-std@8cdea8c (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -2180,7 +2180,7 @@ pub fn addr_eq<T: ?Sized, U: ?Sized>(p: const T, q: const U) -> bool {
2180	2180	/// let f: fn(i32) -> i32 = \|x
2181	2181	/// let g: fn(i32) -> i32 = \|x
2182	2182	/// let h: fn(u32) -> u32 = \|x
2183		-/// dbg!(std::ptr::fn_addr_eq(f, g), std::ptr::fn_addr_eq(f, h));
	2183	+/// dbg!(std::ptr::fn_addr_eq(f, g), std::ptr::fn_addr_eq(f, h)); // not guaranteed to be equal
2184	2184	/// ```
2185	2185	///
2186	2186	/// * May return `false` in any case.