@@ -36,11 +36,17 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
36
36
let mut visited = FxHashSet :: default ( ) ;
37
37
match generic {
38
38
GenericKind :: Param ( param_ty) => self . param_bound ( param_ty) ,
39
- GenericKind :: Projection ( projection_ty) => self . projection_bound ( projection_ty, & mut visited) ,
39
+ GenericKind :: Projection ( projection_ty) => {
40
+ self . projection_bound ( projection_ty, & mut visited)
41
+ }
40
42
}
41
43
}
42
44
43
- fn type_bound ( & self , ty : Ty < ' tcx > , visited : & mut FxHashSet < GenericArg < ' tcx > > ) -> VerifyBound < ' tcx > {
45
+ fn type_bound (
46
+ & self ,
47
+ ty : Ty < ' tcx > ,
48
+ visited : & mut FxHashSet < GenericArg < ' tcx > > ,
49
+ ) -> VerifyBound < ' tcx > {
44
50
match ty. kind {
45
51
ty:: Param ( p) => self . param_bound ( p) ,
46
52
ty:: Projection ( data) => self . projection_bound ( data, visited) ,
@@ -140,7 +146,11 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
140
146
self . declared_projection_bounds_from_trait ( projection_ty)
141
147
}
142
148
143
- pub fn projection_bound ( & self , projection_ty : ty:: ProjectionTy < ' tcx > , visited : & mut FxHashSet < GenericArg < ' tcx > > ) -> VerifyBound < ' tcx > {
149
+ pub fn projection_bound (
150
+ & self ,
151
+ projection_ty : ty:: ProjectionTy < ' tcx > ,
152
+ visited : & mut FxHashSet < GenericArg < ' tcx > > ,
153
+ ) -> VerifyBound < ' tcx > {
144
154
debug ! ( "projection_bound(projection_ty={:?})" , projection_ty) ;
145
155
146
156
let projection_ty_as_ty =
@@ -174,7 +184,11 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
174
184
VerifyBound :: AnyBound ( env_bounds. chain ( trait_bounds) . collect ( ) ) . or ( recursive_bound)
175
185
}
176
186
177
- fn recursive_bound ( & self , parent : GenericArg < ' tcx > , visited : & mut FxHashSet < GenericArg < ' tcx > > ) -> VerifyBound < ' tcx > {
187
+ fn recursive_bound (
188
+ & self ,
189
+ parent : GenericArg < ' tcx > ,
190
+ visited : & mut FxHashSet < GenericArg < ' tcx > > ,
191
+ ) -> VerifyBound < ' tcx > {
178
192
let mut bounds = parent
179
193
. walk_shallow ( visited)
180
194
. filter_map ( |child| match child. unpack ( ) {
0 commit comments