Make ConstPropLint lint run on promoteds#119432
Merged
bors merged 1 commit intorust-lang:masterfrom gurry:117949-make-lint-run-on-promotedsFeb 17, 2024
+6,967-738
ConstPropLint lint run on promoteds#119432