create helper function for rustc_lint_defs::Level and remove it's duplicated code#106669
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 11, 2023
Merged
rustc_lint_defs::Level and remove it's duplicated code#106669