File tree 1 file changed +14
-0
lines changed
1 file changed +14
-0
lines changed Original file line number Diff line number Diff line change @@ -1429,6 +1429,13 @@ impl<'tcx> TypeFoldable<'tcx> for Statement<'tcx> {
1429
1429
outputs : outputs. fold_with ( folder) ,
1430
1430
inputs : inputs. fold_with ( folder)
1431
1431
} ,
1432
+
1433
+ // Note for future: If we want to expose the extents
1434
+ // during the fold, we need to either generalize EndRegion
1435
+ // to carry `[ty::Region]`, or extend the `TypeFolder`
1436
+ // trait with a `fn fold_extent`.
1437
+ EndRegion ( ref extents) => EndRegion ( extents. clone ( ) ) ,
1438
+
1432
1439
Nop => Nop ,
1433
1440
} ;
1434
1441
Statement {
@@ -1447,6 +1454,13 @@ impl<'tcx> TypeFoldable<'tcx> for Statement<'tcx> {
1447
1454
StorageDead ( ref lvalue) => lvalue. visit_with ( visitor) ,
1448
1455
InlineAsm { ref outputs, ref inputs, .. } =>
1449
1456
outputs. visit_with ( visitor) || inputs. visit_with ( visitor) ,
1457
+
1458
+ // Note for future: If we want to expose the extents
1459
+ // during the visit, we need to either generalize EndRegion
1460
+ // to carry `[ty::Region]`, or extend the `TypeVisitor`
1461
+ // trait with a `fn visit_extent`.
1462
+ EndRegion ( ref _extents) => false ,
1463
+
1450
1464
Nop => false ,
1451
1465
}
1452
1466
}
You can’t perform that action at this time.
0 commit comments