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