Skip to content

Move significant_drop_in_scrutinee into nursey#9302

Merged
bors merged 1 commit intorust-lang:masterfrom
Jarcho:sig_drop_nursery
Aug 8, 2022
Merged

Move `significant_drop_in_scrutinee` into `nursey`#9302
bors merged 1 commit intorust-lang:masterfrom
Jarcho:sig_drop_nursery

Commits

Commits on Aug 8, 2022