mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

core: improve comment

Browse Source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
joboet 2024-06-27 12:16:46 +02:00 committed by GitHub
parent 7526416ba6
commit 7e7d0a959d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/core/src/fmt/rt.rs
View File

@ -68,8 +68,8 @@ pub(super) enum Flag {
#[derive(Copy, Clone)] #[derive(Copy, Clone)]
enum ArgumentType<'a> { enum ArgumentType<'a> {
Placeholder { Placeholder {
// INVARIANT: if `formatter` had type `fn(&T, _) -> _` then `value` // INVARIANT: `formatter` has type `fn(&T, _) -> _` for some `T`, and `value`
// was derived from a `&T` with lifetime `'a`. // was derived from a `&'a T`.
value: NonNull<()>, value: NonNull<()>,
formatter: unsafe fn(NonNull<()>, &mut Formatter<'_>) -> Result, formatter: unsafe fn(NonNull<()>, &mut Formatter<'_>) -> Result,
_lifetime: PhantomData<&'a ()>, _lifetime: PhantomData<&'a ()>,