@@ -178,7 +178,7 @@ impl<'db> Ty<'db> {
178178 | TyKind :: Never
179179 | TyKind :: Error ( _) => true ,
180180
181- TyKind :: Str | TyKind :: Slice ( _) | TyKind :: Dynamic ( _, _, _ ) => match sizedness {
181+ TyKind :: Str | TyKind :: Slice ( _) | TyKind :: Dynamic ( _, _) => match sizedness {
182182 SizedTraitKind :: Sized => false ,
183183 SizedTraitKind :: MetaSized => true ,
184184 } ,
@@ -421,7 +421,7 @@ impl<'db> TypeSuperVisitable<DbInterner<'db>> for Ty<'db> {
421421 }
422422 TyKind :: Slice ( typ) => typ. visit_with ( visitor) ,
423423 TyKind :: Adt ( _, args) => args. visit_with ( visitor) ,
424- TyKind :: Dynamic ( ref trait_ty, ref reg, _ ) => {
424+ TyKind :: Dynamic ( ref trait_ty, ref reg) => {
425425 try_visit ! ( trait_ty. visit_with( visitor) ) ;
426426 reg. visit_with ( visitor)
427427 }
@@ -486,11 +486,9 @@ impl<'db> TypeSuperFoldable<DbInterner<'db>> for Ty<'db> {
486486 }
487487 TyKind :: Slice ( typ) => TyKind :: Slice ( typ. try_fold_with ( folder) ?) ,
488488 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+ }
494492 TyKind :: Tuple ( ts) => TyKind :: Tuple ( ts. try_fold_with ( folder) ?) ,
495493 TyKind :: FnDef ( def_id, args) => TyKind :: FnDef ( def_id, args. try_fold_with ( folder) ?) ,
496494 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> {
537535 TyKind :: Array ( typ, sz) => TyKind :: Array ( typ. fold_with ( folder) , sz. fold_with ( folder) ) ,
538536 TyKind :: Slice ( typ) => TyKind :: Slice ( typ. fold_with ( folder) ) ,
539537 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+ }
545541 TyKind :: Tuple ( ts) => TyKind :: Tuple ( ts. fold_with ( folder) ) ,
546542 TyKind :: FnDef ( def_id, args) => TyKind :: FnDef ( def_id, args. fold_with ( folder) ) ,
547543 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> {
676672 interner : DbInterner < ' db > ,
677673 preds : <DbInterner < ' db > as rustc_type_ir:: Interner >:: BoundExistentialPredicates ,
678674 region : <DbInterner < ' db > as rustc_type_ir:: Interner >:: Region ,
679- kind : rustc_type_ir:: DynKind ,
680675 ) -> Self {
681- Ty :: new ( interner, TyKind :: Dynamic ( preds, region, kind ) )
676+ Ty :: new ( interner, TyKind :: Dynamic ( preds, region) )
682677 }
683678
684679 fn new_coroutine (
0 commit comments