instantiate_canonical_state in rustc_next_trait_solver::canonical - Rust
Description: API documentation for the Rust `instantiate_canonical_state` fn in crate `rustc_next_trait_solver`.

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>,