core: improve comment · model-checking/verify-rust-std@8db57c2 (original) (raw)
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -68,8 +68,8 @@ pub(super) enum Flag { | ||
| 68 | 68 | #[derive(Copy, Clone)] |
| 69 | 69 | enum ArgumentType<'a> { |
| 70 | 70 | Placeholder { |
| 71 | -// INVARIANT: if `formatter` had type `fn(&T, _) -> _` then `value` | |
| 72 | -// was derived from a `&T` with lifetime `'a`. | |
| 71 | +// INVARIANT: `formatter` has type `fn(&T, _) -> _` for some `T`, and `value` | |
| 72 | +// was derived from a `&'a T`. | |
| 73 | 73 | value: NonNull<()>, |
| 74 | 74 | formatter: unsafe fn(NonNull<()>, &mut Formatter<'_>) -> Result, |
| 75 | 75 | _lifetime: PhantomData<&'a ()>, |