Skip to content

Warn on unused offset_of!() result#111684

Merged
bors merged 1 commit intorust-lang:masterfrom
ChayimFriedman2:unused-offset-of
Jun 21, 2023
Merged

Warn on unused `offset_of!()` result#111684
bors merged 1 commit intorust-lang:masterfrom
ChayimFriedman2:unused-offset-of

Commits

Commits on Jun 21, 2023