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