@@ -412,7 +412,7 @@ fn ty_search_pat(ty: &Ty<'_>) -> (Pat, Pat) {
412
412
}
413
413
414
414
fn ast_ty_search_pat ( ty : & ast:: Ty ) -> ( Pat , Pat ) {
415
- use ast:: { FnRetTy , MutTy , TyKind } ;
415
+ use ast:: { FnRetTy , MutTy , TraitObjectSyntax , TyKind } ;
416
416
417
417
match & ty. kind {
418
418
TyKind :: Slice ( ..) | TyKind :: Array ( ..) => ( Pat :: Str ( "[" ) , Pat :: Str ( "]" ) ) ,
@@ -486,10 +486,14 @@ fn ast_ty_search_pat(ty: &ast::Ty) -> (Pat, Pat) {
486
486
( start, end)
487
487
} ,
488
488
TyKind :: Infer => ( Pat :: Str ( "_" ) , Pat :: Str ( "_" ) ) ,
489
- TyKind :: TraitObject ( _, tagged_ptr) if let TraitObjectSyntax :: Dyn = tagged_ptr. tag ( ) => {
490
- ( Pat :: Str ( "dyn" ) , Pat :: Str ( "" ) )
489
+ TyKind :: TraitObject ( _, trait_obj_syntax) => {
490
+ if let TraitObjectSyntax :: Dyn = trait_obj_syntax {
491
+ ( Pat :: Str ( "dyn" ) , Pat :: Str ( "" ) )
492
+ } else {
493
+ // NOTE: `TraitObject` is incomplete. It will always return true then.
494
+ ( Pat :: Str ( "" ) , Pat :: Str ( "" ) )
495
+ }
491
496
} ,
492
- // NOTE: `TraitObject` is incomplete. It will always return true then.
493
497
_ => ( Pat :: Str ( "" ) , Pat :: Str ( "" ) ) ,
494
498
}
495
499
}
0 commit comments