pub(in solve) fn instantiate_constituent_tys_for_sized_trait<'tcx>(
    ecx: &EvalCtxt<'_, 'tcx>,
    ty: Ty<'tcx>
) -> Result<Vec<Binder<'tcx, Ty<'tcx>>>, NoSolution>