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