@@ -49,10 +49,10 @@ where
4949{
5050 type Lifted = Binder < U , T :: Lifted > ;
5151
52- fn lift_to_interner ( self , tcx : U ) -> Option < Self :: Lifted > {
52+ fn lift_to_interner ( self , cx : U ) -> Option < Self :: Lifted > {
5353 Some ( Binder {
54- value : self . value . lift_to_interner ( tcx ) ?,
55- bound_vars : self . bound_vars . lift_to_interner ( tcx ) ?,
54+ value : self . value . lift_to_interner ( cx ) ?,
55+ bound_vars : self . bound_vars . lift_to_interner ( cx ) ?,
5656 } )
5757 }
5858}
@@ -439,11 +439,11 @@ impl<I: Interner, Iter: IntoIterator> EarlyBinder<I, Iter>
439439where
440440 Iter :: Item : TypeFoldable < I > ,
441441{
442- pub fn iter_instantiated < A > ( self , tcx : I , args : A ) -> IterInstantiated < I , Iter , A >
442+ pub fn iter_instantiated < A > ( self , cx : I , args : A ) -> IterInstantiated < I , Iter , A >
443443 where
444444 A : SliceLike < Item = I :: GenericArg > ,
445445 {
446- IterInstantiated { it : self . value . into_iter ( ) , tcx , args }
446+ IterInstantiated { it : self . value . into_iter ( ) , cx , args }
447447 }
448448
449449 /// Similar to [`instantiate_identity`](EarlyBinder::instantiate_identity),
@@ -455,7 +455,7 @@ where
455455
456456pub struct IterInstantiated < I : Interner , Iter : IntoIterator , A > {
457457 it : Iter :: IntoIter ,
458- tcx : I ,
458+ cx : I ,
459459 args : A ,
460460}
461461
@@ -469,7 +469,7 @@ where
469469 fn next ( & mut self ) -> Option < Self :: Item > {
470470 Some (
471471 EarlyBinder { value : self . it . next ( ) ?, _tcx : PhantomData }
472- . instantiate ( self . tcx , self . args ) ,
472+ . instantiate ( self . cx , self . args ) ,
473473 )
474474 }
475475
@@ -487,7 +487,7 @@ where
487487 fn next_back ( & mut self ) -> Option < Self :: Item > {
488488 Some (
489489 EarlyBinder { value : self . it . next_back ( ) ?, _tcx : PhantomData }
490- . instantiate ( self . tcx , self . args ) ,
490+ . instantiate ( self . cx , self . args ) ,
491491 )
492492 }
493493}
@@ -507,10 +507,10 @@ where
507507{
508508 pub fn iter_instantiated_copied (
509509 self ,
510- tcx : I ,
510+ cx : I ,
511511 args : & ' s [ I :: GenericArg ] ,
512512 ) -> IterInstantiatedCopied < ' s , I , Iter > {
513- IterInstantiatedCopied { it : self . value . into_iter ( ) , tcx , args }
513+ IterInstantiatedCopied { it : self . value . into_iter ( ) , cx , args }
514514 }
515515
516516 /// Similar to [`instantiate_identity`](EarlyBinder::instantiate_identity),
@@ -522,7 +522,7 @@ where
522522
523523pub struct IterInstantiatedCopied < ' a , I : Interner , Iter : IntoIterator > {
524524 it : Iter :: IntoIter ,
525- tcx : I ,
525+ cx : I ,
526526 args : & ' a [ I :: GenericArg ] ,
527527}
528528
@@ -535,7 +535,7 @@ where
535535
536536 fn next ( & mut self ) -> Option < Self :: Item > {
537537 self . it . next ( ) . map ( |value| {
538- EarlyBinder { value : * value, _tcx : PhantomData } . instantiate ( self . tcx , self . args )
538+ EarlyBinder { value : * value, _tcx : PhantomData } . instantiate ( self . cx , self . args )
539539 } )
540540 }
541541
@@ -552,7 +552,7 @@ where
552552{
553553 fn next_back ( & mut self ) -> Option < Self :: Item > {
554554 self . it . next_back ( ) . map ( |value| {
555- EarlyBinder { value : * value, _tcx : PhantomData } . instantiate ( self . tcx , self . args )
555+ EarlyBinder { value : * value, _tcx : PhantomData } . instantiate ( self . cx , self . args )
556556 } )
557557 }
558558}
@@ -589,11 +589,11 @@ impl<I: Interner, T: Iterator> Iterator for EarlyBinderIter<I, T> {
589589}
590590
591591impl < I : Interner , T : TypeFoldable < I > > ty:: EarlyBinder < I , T > {
592- pub fn instantiate < A > ( self , tcx : I , args : A ) -> T
592+ pub fn instantiate < A > ( self , cx : I , args : A ) -> T
593593 where
594594 A : SliceLike < Item = I :: GenericArg > ,
595595 {
596- let mut folder = ArgFolder { tcx , args : args. as_slice ( ) , binders_passed : 0 } ;
596+ let mut folder = ArgFolder { cx , args : args. as_slice ( ) , binders_passed : 0 } ;
597597 self . value . fold_with ( & mut folder)
598598 }
599599
@@ -619,7 +619,7 @@ impl<I: Interner, T: TypeFoldable<I>> ty::EarlyBinder<I, T> {
619619// The actual instantiation engine itself is a type folder.
620620
621621struct ArgFolder < ' a , I : Interner > {
622- tcx : I ,
622+ cx : I ,
623623 args : & ' a [ I :: GenericArg ] ,
624624
625625 /// Number of region binders we have passed through while doing the instantiation
@@ -629,7 +629,7 @@ struct ArgFolder<'a, I: Interner> {
629629impl < ' a , I : Interner > TypeFolder < I > for ArgFolder < ' a , I > {
630630 #[ inline]
631631 fn cx ( & self ) -> I {
632- self . tcx
632+ self . cx
633633 }
634634
635635 fn fold_binder < T : TypeFoldable < I > > ( & mut self , t : ty:: Binder < I , T > ) -> ty:: Binder < I , T > {
@@ -858,6 +858,6 @@ impl<'a, I: Interner> ArgFolder<'a, I> {
858858 if self . binders_passed == 0 || !region. has_escaping_bound_vars ( ) {
859859 return region;
860860 }
861- ty:: fold:: shift_region ( self . tcx , region, self . binders_passed )
861+ ty:: fold:: shift_region ( self . cx , region, self . binders_passed )
862862 }
863863}
0 commit comments