Skip to main content

## instantiate_canonical_state

# Function instantiate_canonical_state

Source

    pub fn instantiate_canonical_state<D, I, T>(
        delegate: &D,
        span: I::Span,
        param_env: I::ParamEnv,
        orig_values: &mut Vec<I::GenericArg>,
        state: CanonicalState<I, T>,
    ) -> Twhere
        D: SolverDelegate<Interner = I>,
        I: Interner,
        T: TypeFoldable<I>,