Separate const prop lints from optimizations#94934
Merged
bors merged 6 commits intorust-lang:masterfrom Mar 24, 2022
Merged
Commits
Commits on Mar 23, 2022
- authored andcommitted
- authored andcommitted
- andcommitted
- committed
- committed
Commits on Mar 24, 2022
- committed