File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -1730,12 +1730,7 @@ impl<'a, 'tcx> Lift<'tcx> for Region<'a> {
1730
1730
if tcx. interners . arena . in_arena ( * self as * const _ ) {
1731
1731
return Some ( unsafe { mem:: transmute ( * self ) } ) ;
1732
1732
}
1733
- // Also try in the global tcx if we're not that.
1734
- if !tcx. is_global ( ) {
1735
- self . lift_to_tcx ( tcx. global_tcx ( ) )
1736
- } else {
1737
- None
1738
- }
1733
+ Some ( tcx. intern_const_alloc ( mir:: interpret:: Allocation :: clone ( self ) ) )
1739
1734
}
1740
1735
}
1741
1736
@@ -1745,7 +1740,12 @@ impl<'a, 'tcx> Lift<'tcx> for Goal<'a> {
1745
1740
if tcx. interners . arena . in_arena ( * self as * const _ ) {
1746
1741
return Some ( unsafe { mem:: transmute ( * self ) } ) ;
1747
1742
}
1748
- Some ( tcx. intern_const_alloc ( mir:: interpret:: Allocation :: clone ( self ) ) )
1743
+ // Also try in the global tcx if we're not that.
1744
+ if !tcx. is_global ( ) {
1745
+ self . lift_to_tcx ( tcx. global_tcx ( ) )
1746
+ } else {
1747
+ None
1748
+ }
1749
1749
}
1750
1750
}
1751
1751
You can’t perform that action at this time.
0 commit comments