@@ -178,7 +178,7 @@ impl<'db> Ty<'db> {
178
178
| TyKind :: Never
179
179
| TyKind :: Error ( _) => true ,
180
180
181
- TyKind :: Str | TyKind :: Slice ( _) | TyKind :: Dynamic ( _, _, _ ) => match sizedness {
181
+ TyKind :: Str | TyKind :: Slice ( _) | TyKind :: Dynamic ( _, _) => match sizedness {
182
182
SizedTraitKind :: Sized => false ,
183
183
SizedTraitKind :: MetaSized => true ,
184
184
} ,
@@ -421,7 +421,7 @@ impl<'db> TypeSuperVisitable<DbInterner<'db>> for Ty<'db> {
421
421
}
422
422
TyKind :: Slice ( typ) => typ. visit_with ( visitor) ,
423
423
TyKind :: Adt ( _, args) => args. visit_with ( visitor) ,
424
- TyKind :: Dynamic ( ref trait_ty, ref reg, _ ) => {
424
+ TyKind :: Dynamic ( ref trait_ty, ref reg) => {
425
425
try_visit ! ( trait_ty. visit_with( visitor) ) ;
426
426
reg. visit_with ( visitor)
427
427
}
@@ -486,11 +486,9 @@ impl<'db> TypeSuperFoldable<DbInterner<'db>> for Ty<'db> {
486
486
}
487
487
TyKind :: Slice ( typ) => TyKind :: Slice ( typ. try_fold_with ( folder) ?) ,
488
488
TyKind :: Adt ( tid, args) => TyKind :: Adt ( tid, args. try_fold_with ( folder) ?) ,
489
- TyKind :: Dynamic ( trait_ty, region, representation) => TyKind :: Dynamic (
490
- trait_ty. try_fold_with ( folder) ?,
491
- region. try_fold_with ( folder) ?,
492
- representation,
493
- ) ,
489
+ TyKind :: Dynamic ( trait_ty, region) => {
490
+ TyKind :: Dynamic ( trait_ty. try_fold_with ( folder) ?, region. try_fold_with ( folder) ?)
491
+ }
494
492
TyKind :: Tuple ( ts) => TyKind :: Tuple ( ts. try_fold_with ( folder) ?) ,
495
493
TyKind :: FnDef ( def_id, args) => TyKind :: FnDef ( def_id, args. try_fold_with ( folder) ?) ,
496
494
TyKind :: FnPtr ( sig_tys, hdr) => TyKind :: FnPtr ( sig_tys. try_fold_with ( folder) ?, hdr) ,
@@ -537,11 +535,9 @@ impl<'db> TypeSuperFoldable<DbInterner<'db>> for Ty<'db> {
537
535
TyKind :: Array ( typ, sz) => TyKind :: Array ( typ. fold_with ( folder) , sz. fold_with ( folder) ) ,
538
536
TyKind :: Slice ( typ) => TyKind :: Slice ( typ. fold_with ( folder) ) ,
539
537
TyKind :: Adt ( tid, args) => TyKind :: Adt ( tid, args. fold_with ( folder) ) ,
540
- TyKind :: Dynamic ( trait_ty, region, representation) => TyKind :: Dynamic (
541
- trait_ty. fold_with ( folder) ,
542
- region. fold_with ( folder) ,
543
- representation,
544
- ) ,
538
+ TyKind :: Dynamic ( trait_ty, region) => {
539
+ TyKind :: Dynamic ( trait_ty. fold_with ( folder) , region. fold_with ( folder) )
540
+ }
545
541
TyKind :: Tuple ( ts) => TyKind :: Tuple ( ts. fold_with ( folder) ) ,
546
542
TyKind :: FnDef ( def_id, args) => TyKind :: FnDef ( def_id, args. fold_with ( folder) ) ,
547
543
TyKind :: FnPtr ( sig_tys, hdr) => TyKind :: FnPtr ( sig_tys. fold_with ( folder) , hdr) ,
@@ -676,9 +672,8 @@ impl<'db> rustc_type_ir::inherent::Ty<DbInterner<'db>> for Ty<'db> {
676
672
interner : DbInterner < ' db > ,
677
673
preds : <DbInterner < ' db > as rustc_type_ir:: Interner >:: BoundExistentialPredicates ,
678
674
region : <DbInterner < ' db > as rustc_type_ir:: Interner >:: Region ,
679
- kind : rustc_type_ir:: DynKind ,
680
675
) -> Self {
681
- Ty :: new ( interner, TyKind :: Dynamic ( preds, region, kind ) )
676
+ Ty :: new ( interner, TyKind :: Dynamic ( preds, region) )
682
677
}
683
678
684
679
fn new_coroutine (
0 commit comments