@@ -63,7 +63,7 @@ impl<'i, I: Interner> InputTypeCollector<'i, I> {
63
63
64
64
fn types_in ( interner : & ' i I , value : impl Visit < I > ) -> Vec < Ty < I > > {
65
65
let mut collector = Self :: new ( interner) ;
66
- value. visit_with ( & mut collector, DebruijnIndex :: INNERMOST ) ;
66
+ let _ = value. visit_with ( & mut collector, DebruijnIndex :: INNERMOST ) ;
67
67
collector. types
68
68
}
69
69
}
@@ -104,12 +104,12 @@ impl<'i, I: Interner> Visitor<'i, I> for InputTypeCollector<'i, I> {
104
104
match ty. kind ( interner) {
105
105
TyKind :: Adt ( id, substitution) => {
106
106
push_ty ( ) ;
107
- id. visit_with ( self , outer_binder) ;
107
+ id. visit_with ( self , outer_binder) ? ;
108
108
substitution. visit_with ( self , outer_binder)
109
109
}
110
110
TyKind :: AssociatedType ( assoc_ty, substitution) => {
111
111
push_ty ( ) ;
112
- assoc_ty. visit_with ( self , outer_binder) ;
112
+ assoc_ty. visit_with ( self , outer_binder) ? ;
113
113
substitution. visit_with ( self , outer_binder)
114
114
}
115
115
TyKind :: Scalar ( scalar) => {
@@ -122,12 +122,12 @@ impl<'i, I: Interner> Visitor<'i, I> for InputTypeCollector<'i, I> {
122
122
}
123
123
TyKind :: Tuple ( arity, substitution) => {
124
124
push_ty ( ) ;
125
- arity. visit_with ( self , outer_binder) ;
125
+ arity. visit_with ( self , outer_binder) ? ;
126
126
substitution. visit_with ( self , outer_binder)
127
127
}
128
128
TyKind :: OpaqueType ( opaque_ty, substitution) => {
129
129
push_ty ( ) ;
130
- opaque_ty. visit_with ( self , outer_binder) ;
130
+ opaque_ty. visit_with ( self , outer_binder) ? ;
131
131
substitution. visit_with ( self , outer_binder)
132
132
}
133
133
TyKind :: Slice ( substitution) => {
@@ -136,18 +136,18 @@ impl<'i, I: Interner> Visitor<'i, I> for InputTypeCollector<'i, I> {
136
136
}
137
137
TyKind :: FnDef ( fn_def, substitution) => {
138
138
push_ty ( ) ;
139
- fn_def. visit_with ( self , outer_binder) ;
139
+ fn_def. visit_with ( self , outer_binder) ? ;
140
140
substitution. visit_with ( self , outer_binder)
141
141
}
142
142
TyKind :: Ref ( mutability, lifetime, ty) => {
143
143
push_ty ( ) ;
144
- mutability. visit_with ( self , outer_binder) ;
145
- lifetime. visit_with ( self , outer_binder) ;
144
+ mutability. visit_with ( self , outer_binder) ? ;
145
+ lifetime. visit_with ( self , outer_binder) ? ;
146
146
ty. visit_with ( self , outer_binder)
147
147
}
148
148
TyKind :: Raw ( mutability, substitution) => {
149
149
push_ty ( ) ;
150
- mutability. visit_with ( self , outer_binder) ;
150
+ mutability. visit_with ( self , outer_binder) ? ;
151
151
substitution. visit_with ( self , outer_binder)
152
152
}
153
153
TyKind :: Never => {
@@ -156,7 +156,7 @@ impl<'i, I: Interner> Visitor<'i, I> for InputTypeCollector<'i, I> {
156
156
}
157
157
TyKind :: Array ( ty, const_) => {
158
158
push_ty ( ) ;
159
- ty. visit_with ( self , outer_binder) ;
159
+ ty. visit_with ( self , outer_binder) ? ;
160
160
const_. visit_with ( self , outer_binder)
161
161
}
162
162
TyKind :: Closure ( _id, substitution) => {
0 commit comments