instantiate_constituent_tys_for_sizedness_trait

Function instantiate_constituent_tys_for_sizedness_trait 

Source
pub(in solve) fn instantiate_constituent_tys_for_sizedness_trait<D, I>(
    ecx: &EvalCtxt<'_, D>,
    sizedness: SizedTraitKind,
    ty: I::Ty,
) -> Result<Binder<I, Vec<I::Ty>>, NoSolution>
where D: SolverDelegate<Interner = I>, I: Interner,