ABI compatibility: mention Result guarantee · qinheping/verify-rust-std@db6427b (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -1761,6 +1761,8 @@ mod prim_ref {}
1761	1761	/// - `i32` is ABI-compatible with `NonZero`, and similar for all other integer types.
1762	1762	/// - If `T` is guaranteed to be subject to the [null pointer
1763	1763	/// optimization](option/index.html#representation), then `T` and `Option` are ABI-compatible.
	1764	+/// Furthermore, if `U` satisfies the requirements [outlined here](result/index.html#representation),
	1765	+/// then `T` and `Result<T, U>` and `Result<U, T>` are all ABI-compatible.
1764	1766	///
1765	1767	/// Furthermore, ABI compatibility satisfies the following general properties:
1766	1768	///