Module normalize

Structs§

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.
deeply_normalize_with_skipped_universes_and_ambiguous_coroutine_goals: Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
normalize: see normalize_with_universes.
normalize_with_universes 🔒: Like deeply_normalize, but we handle ambiguity and inference variables in this routine. The behavior should be same as the old solver. For error, we return an infer var plus the failed obligation. For ambiguity, we have two cases: