Skip to content

Give a specific lint for unsafety not being inherited#103964

Merged
bors merged 2 commits intorust-lang:masterfrom
clubby789:lint-enclosing-unsafe
Nov 4, 2022
Merged

Give a specific lint for unsafety not being inherited#103964
bors merged 2 commits intorust-lang:masterfrom
clubby789:lint-enclosing-unsafe

Commits

Commits on Nov 4, 2022