Add deeply_normalize_for_diagnostics, use it in coherence - #118346
Merged
bors merged 2 commits intoDec 6, 2023
Merged
deeply_normalize_for_diagnostics, use it in coherence - #118346