@@ -141,17 +141,13 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
141
141
/// `('a, K)` in this list tells us that the bounds in scope
142
142
/// indicate that `K: 'a`, where `K` is either a generic
143
143
/// parameter like `T` or a projection like `T::Item`.
144
- /// - `implicit_region_bound`: if some, this is a region bound
145
- /// that is considered to hold for all type parameters (the
146
- /// function body).
147
144
/// - `param_env` is the parameter environment for the enclosing function.
148
145
/// - `body_id` is the body-id whose region obligations are being
149
146
/// processed.
150
147
#[ instrument( level = "debug" , skip( self , region_bound_pairs_map) ) ]
151
148
pub fn process_registered_region_obligations (
152
149
& self ,
153
150
region_bound_pairs_map : & FxHashMap < hir:: HirId , RegionBoundPairs < ' tcx > > ,
154
- implicit_region_bound : Option < ty:: Region < ' tcx > > ,
155
151
param_env : ty:: ParamEnv < ' tcx > ,
156
152
) {
157
153
assert ! (
@@ -170,13 +166,8 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
170
166
let sup_type = self . resolve_vars_if_possible ( sup_type) ;
171
167
172
168
if let Some ( region_bound_pairs) = region_bound_pairs_map. get ( & body_id) {
173
- let outlives = & mut TypeOutlives :: new (
174
- self ,
175
- self . tcx ,
176
- & region_bound_pairs,
177
- implicit_region_bound,
178
- param_env,
179
- ) ;
169
+ let outlives =
170
+ & mut TypeOutlives :: new ( self , self . tcx , & region_bound_pairs, None , param_env) ;
180
171
outlives. type_must_outlive ( origin, sup_type, sub_region) ;
181
172
} else {
182
173
self . tcx . sess . delay_span_bug (
0 commit comments