Rollup merge of #81309 - lcnr:lazy-norm-err-msgh, r=nikomatsakis

always eagerly eval consts in Relate

r? ```@nikomatsakis``` cc ```@varkor```

diff --cc compiler/rustc_middle/src/ty/relate.rs
Simple merge