promote_consts: some clean-up after experimenting#125853
Merged
bors merged 5 commits intorust-lang:masterfrom Jun 21, 2024
Merged
promote_consts: some clean-up after experimenting#125853bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom