fn sized_constraint_for_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    adtdef: AdtDef<'tcx>,
    ty: Ty<'tcx>
) -> Vec<Ty<'tcx>>