Make promote_consts emit the errors when required promotion fails#65946
Merged
bors merged 4 commits intorust-lang:masterfrom Nov 1, 2019
promote_consts emit the errors when required promotion fails#65946