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