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: Normalize a value, deferring ambiguity and errors to fulfillment.
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. On error, return the failed obligation. For ambiguity, we have two cases: