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