Skip to content

Rename ConstPropLint to KnownPanicsLint#121286

Merged
bors merged 1 commit intorust-lang:masterfrom gurry:constprop-lint-renameFeb 20, 2024

Commits

Commits on Feb 20, 2024