rustc_trait_selection::solve

Module normalize

Help

Structs§

DeeplyNormalizeForDiagnosticsFolder 🔒
NormalizationFolder 🔒

Functions§

deeply_normalize: Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
deeply_normalize_for_diagnostics 🔒
deeply_normalize_with_skipped_universes: Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.