Skip to content

New lint const_is_empty#12310

Merged
bors merged 5 commits intorust-lang:masterfrom
samueltardieu:issue-12307
Mar 9, 2024
Merged

New lint `const_is_empty`#12310
bors merged 5 commits intorust-lang:masterfrom
samueltardieu:issue-12307

Commits