File tree Expand file tree Collapse file tree 1 file changed +14
-0
lines changed
Expand file tree Collapse file tree 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> {
14291429 outputs : outputs. fold_with ( folder) ,
14301430 inputs : inputs. fold_with ( folder)
14311431 } ,
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+
14321439 Nop => Nop ,
14331440 } ;
14341441 Statement {
@@ -1447,6 +1454,13 @@ impl<'tcx> TypeFoldable<'tcx> for Statement<'tcx> {
14471454 StorageDead ( ref lvalue) => lvalue. visit_with ( visitor) ,
14481455 InlineAsm { ref outputs, ref inputs, .. } =>
14491456 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+
14501464 Nop => false ,
14511465 }
14521466 }
You can’t perform that action at this time.
0 commit comments