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