Add deeply_normalize_for_diagnostics
, use it in coherence#118346
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 6, 2023
deeply_normalize_for_diagnostics
, use it in coherence#118346