Skip to main content

instantiate_generic_arg

Function instantiate_generic_arg 

Source
fn instantiate_generic_arg<D, I>(
    delegate: &D,
    arg: Canonicalized<I::GenericArg>,
    instantiation: CanonicalVarValues<I>,
) -> I::GenericArg
where D: SolverDelegate<Interner = I>, I: Interner,