@@ -239,7 +239,7 @@ where
239
239
let interner = visitor. interner ( ) ;
240
240
match self . kind ( interner) {
241
241
TyKind :: BoundVar ( bound_var) => {
242
- if let Some ( _ ) = bound_var. shifted_out_to ( outer_binder) {
242
+ if bound_var. shifted_out_to ( outer_binder) . is_some ( ) {
243
243
visitor. visit_free_var ( * bound_var, outer_binder)
244
244
} else {
245
245
ControlFlow :: Continue ( ( ) )
@@ -320,7 +320,7 @@ impl<I: Interner> SuperVisit<I> for Lifetime<I> {
320
320
let interner = visitor. interner ( ) ;
321
321
match self . data ( interner) {
322
322
LifetimeData :: BoundVar ( bound_var) => {
323
- if let Some ( _ ) = bound_var. shifted_out_to ( outer_binder) {
323
+ if bound_var. shifted_out_to ( outer_binder) . is_some ( ) {
324
324
visitor. visit_free_var ( * bound_var, outer_binder)
325
325
} else {
326
326
ControlFlow :: Continue ( ( ) )
@@ -357,7 +357,7 @@ impl<I: Interner> SuperVisit<I> for Const<I> {
357
357
let interner = visitor. interner ( ) ;
358
358
match & self . data ( interner) . value {
359
359
ConstValue :: BoundVar ( bound_var) => {
360
- if let Some ( _ ) = bound_var. shifted_out_to ( outer_binder) {
360
+ if bound_var. shifted_out_to ( outer_binder) . is_some ( ) {
361
361
visitor. visit_free_var ( * bound_var, outer_binder)
362
362
} else {
363
363
ControlFlow :: Continue ( ( ) )
0 commit comments