Skip to content

Add lints drop_non_drop and forget_non_drop#8630

Merged
bors merged 1 commit intorust-lang:masterfrom
Jarcho:forget_non_drop
Apr 6, 2022

Commits

Commits on Apr 4, 2022