@@ -1529,7 +1529,10 @@ impl<'a, 'tcx> Lift<'tcx> for &'a Goal<'a> {
1529
1529
1530
1530
impl < ' a , ' tcx > Lift < ' tcx > for & ' a Slice < Goal < ' a > > {
1531
1531
type Lifted = & ' tcx Slice < Goal < ' tcx > > ;
1532
- fn lift_to_tcx < ' b , ' gcx > ( & self , tcx : TyCtxt < ' b , ' gcx , ' tcx > ) -> Option < & ' tcx Slice < Goal < ' tcx > > > {
1532
+ fn lift_to_tcx < ' b , ' gcx > (
1533
+ & self ,
1534
+ tcx : TyCtxt < ' b , ' gcx , ' tcx > ,
1535
+ ) -> Option < & ' tcx Slice < Goal < ' tcx > > > {
1533
1536
if tcx. interners . arena . in_arena ( * self as * const _ ) {
1534
1537
return Some ( unsafe { mem:: transmute ( * self ) } ) ;
1535
1538
}
@@ -1544,7 +1547,10 @@ impl<'a, 'tcx> Lift<'tcx> for &'a Slice<Goal<'a>> {
1544
1547
1545
1548
impl < ' a , ' tcx > Lift < ' tcx > for & ' a Slice < Clause < ' a > > {
1546
1549
type Lifted = & ' tcx Slice < Clause < ' tcx > > ;
1547
- fn lift_to_tcx < ' b , ' gcx > ( & self , tcx : TyCtxt < ' b , ' gcx , ' tcx > ) -> Option < & ' tcx Slice < Clause < ' tcx > > > {
1550
+ fn lift_to_tcx < ' b , ' gcx > (
1551
+ & self ,
1552
+ tcx : TyCtxt < ' b , ' gcx , ' tcx > ,
1553
+ ) -> Option < & ' tcx Slice < Clause < ' tcx > > > {
1548
1554
if tcx. interners . arena . in_arena ( * self as * const _ ) {
1549
1555
return Some ( unsafe { mem:: transmute ( * self ) } ) ;
1550
1556
}
0 commit comments