make_canonical_state in rustc_next_trait_solver::canonical - Rust
Description: Used by proof trees to be able to recompute intermediate actions while evaluating a goal. The `var_values` not only include the bound variables of the query input, but also contain all unconstrained inference vars created while evaluating this goal.

Skip to main content

## make_canonical_state

# Function make_canonical_state

Source

    pub fn make_canonical_state<D, I, T>(
        delegate: &D,
        var_values: &[I::GenericArg],
        max_input_universe: UniverseIndex,
        data: T,
    ) -> CanonicalState<I, T>where
        D: SolverDelegate<Interner = I>,
        I: Interner,
        T: TypeFoldable<I>,

Expand description

Used by proof trees to be able to recompute intermediate actions while evaluating a goal. The `var_values` not only include the bound variables of the query input, but also contain all unconstrained inference vars created while evaluating this goal.