Function rustc_next_trait_solver::solve::assembly::structural_traits::instantiate_constituent_tys_for_auto_trait

source ยท 
pub(in solve) fn instantiate_constituent_tys_for_auto_trait<Infcx, I>(
    ecx: &EvalCtxt<'_, Infcx>,
    ty: I::Ty,
) -> Result<Vec<Binder<I, I::Ty>>, NoSolution>
where
    Infcx: SolverDelegate<Interner = I>,
    I: Interner,