# Function rustc_next_trait_solver::solve::eval_ctxt::canonical::instantiate_canonical_state

source ·

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