@@ -21,13 +21,16 @@ use syntax::codemap::Span;
21
21
use util:: nodemap:: { FnvHashMap , FnvHashSet } ;
22
22
23
23
pub trait HigherRankedRelations < ' a , ' tcx > {
24
- fn higher_ranked_sub < T > ( & mut self , a : & Binder < T > , b : & Binder < T > ) -> RelateResult < ' tcx , Binder < T > >
24
+ fn higher_ranked_sub < T > ( & mut self , a : & Binder < T > , b : & Binder < T > )
25
+ -> RelateResult < ' tcx , Binder < T > >
25
26
where T : Relate < ' a , ' tcx > ;
26
27
27
- fn higher_ranked_lub < T > ( & mut self , a : & Binder < T > , b : & Binder < T > ) -> RelateResult < ' tcx , Binder < T > >
28
+ fn higher_ranked_lub < T > ( & mut self , a : & Binder < T > , b : & Binder < T > )
29
+ -> RelateResult < ' tcx , Binder < T > >
28
30
where T : Relate < ' a , ' tcx > ;
29
31
30
- fn higher_ranked_glb < T > ( & mut self , a : & Binder < T > , b : & Binder < T > ) -> RelateResult < ' tcx , Binder < T > >
32
+ fn higher_ranked_glb < T > ( & mut self , a : & Binder < T > , b : & Binder < T > )
33
+ -> RelateResult < ' tcx , Binder < T > >
31
34
where T : Relate < ' a , ' tcx > ;
32
35
}
33
36
@@ -101,7 +104,8 @@ impl<'a,'o,'tcx> HigherRankedRelations<'a,'tcx> for CombineFields<'a,'o,'tcx> {
101
104
} ) ;
102
105
}
103
106
104
- fn higher_ranked_lub < T > ( & mut self , a : & Binder < T > , b : & Binder < T > ) -> RelateResult < ' tcx , Binder < T > >
107
+ fn higher_ranked_lub < T > ( & mut self , a : & Binder < T > , b : & Binder < T > )
108
+ -> RelateResult < ' tcx , Binder < T > >
105
109
where T : Relate < ' a , ' tcx >
106
110
{
107
111
// Start a snapshot so we can examine "all bindings that were
@@ -191,7 +195,8 @@ impl<'a,'o,'tcx> HigherRankedRelations<'a,'tcx> for CombineFields<'a,'o,'tcx> {
191
195
}
192
196
}
193
197
194
- fn higher_ranked_glb < T > ( & mut self , a : & Binder < T > , b : & Binder < T > ) -> RelateResult < ' tcx , Binder < T > >
198
+ fn higher_ranked_glb < T > ( & mut self , a : & Binder < T > , b : & Binder < T > )
199
+ -> RelateResult < ' tcx , Binder < T > >
195
200
where T : Relate < ' a , ' tcx >
196
201
{
197
202
debug ! ( "higher_ranked_glb({:?}, {:?})" ,
0 commit comments