# Function rustc_trait_selection::solve::inspect::instantiate_canonical_state

source ·

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