@@ -228,26 +228,23 @@ impl chalk_ir::interner::Interner for Interner {
228
228
Interned :: new ( InternedWrapper ( chalk_ir:: TyData { kind, flags } ) )
229
229
}
230
230
231
- fn ty_data < ' a > ( self , ty : & ' a Self :: InternedType ) -> & ' a chalk_ir:: TyData < Self > {
231
+ fn ty_data ( self , ty : & Self :: InternedType ) -> & chalk_ir:: TyData < Self > {
232
232
& ty. 0
233
233
}
234
234
235
235
fn intern_lifetime ( self , lifetime : chalk_ir:: LifetimeData < Self > ) -> Self :: InternedLifetime {
236
236
Interned :: new ( InternedWrapper ( lifetime) )
237
237
}
238
238
239
- fn lifetime_data < ' a > (
240
- self ,
241
- lifetime : & ' a Self :: InternedLifetime ,
242
- ) -> & ' a chalk_ir:: LifetimeData < Self > {
239
+ fn lifetime_data ( self , lifetime : & Self :: InternedLifetime ) -> & chalk_ir:: LifetimeData < Self > {
243
240
& lifetime. 0
244
241
}
245
242
246
243
fn intern_const ( self , constant : chalk_ir:: ConstData < Self > ) -> Self :: InternedConst {
247
244
Interned :: new ( InternedWrapper ( constant) )
248
245
}
249
246
250
- fn const_data < ' a > ( self , constant : & ' a Self :: InternedConst ) -> & ' a chalk_ir:: ConstData < Self > {
247
+ fn const_data ( self , constant : & Self :: InternedConst ) -> & chalk_ir:: ConstData < Self > {
251
248
& constant. 0
252
249
}
253
250
@@ -267,10 +264,10 @@ impl chalk_ir::interner::Interner for Interner {
267
264
parameter
268
265
}
269
266
270
- fn generic_arg_data < ' a > (
267
+ fn generic_arg_data (
271
268
self ,
272
- parameter : & ' a Self :: InternedGenericArg ,
273
- ) -> & ' a chalk_ir:: GenericArgData < Self > {
269
+ parameter : & Self :: InternedGenericArg ,
270
+ ) -> & chalk_ir:: GenericArgData < Self > {
274
271
parameter
275
272
}
276
273
@@ -285,11 +282,11 @@ impl chalk_ir::interner::Interner for Interner {
285
282
data. into_iter ( ) . collect ( )
286
283
}
287
284
288
- fn goal_data < ' a > ( self , goal : & ' a Self :: InternedGoal ) -> & ' a GoalData < Self > {
285
+ fn goal_data ( self , goal : & Self :: InternedGoal ) -> & GoalData < Self > {
289
286
goal
290
287
}
291
288
292
- fn goals_data < ' a > ( self , goals : & ' a Self :: InternedGoals ) -> & ' a [ Goal < Interner > ] {
289
+ fn goals_data ( self , goals : & Self :: InternedGoals ) -> & [ Goal < Interner > ] {
293
290
goals
294
291
}
295
292
@@ -300,10 +297,7 @@ impl chalk_ir::interner::Interner for Interner {
300
297
Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
301
298
}
302
299
303
- fn substitution_data < ' a > (
304
- self ,
305
- substitution : & ' a Self :: InternedSubstitution ,
306
- ) -> & ' a [ GenericArg ] {
300
+ fn substitution_data ( self , substitution : & Self :: InternedSubstitution ) -> & [ GenericArg ] {
307
301
& substitution. as_ref ( ) . 0
308
302
}
309
303
@@ -314,10 +308,10 @@ impl chalk_ir::interner::Interner for Interner {
314
308
data
315
309
}
316
310
317
- fn program_clause_data < ' a > (
311
+ fn program_clause_data (
318
312
self ,
319
- clause : & ' a Self :: InternedProgramClause ,
320
- ) -> & ' a chalk_ir:: ProgramClauseData < Self > {
313
+ clause : & Self :: InternedProgramClause ,
314
+ ) -> & chalk_ir:: ProgramClauseData < Self > {
321
315
clause
322
316
}
323
317
@@ -328,10 +322,10 @@ impl chalk_ir::interner::Interner for Interner {
328
322
Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
329
323
}
330
324
331
- fn program_clauses_data < ' a > (
325
+ fn program_clauses_data (
332
326
self ,
333
- clauses : & ' a Self :: InternedProgramClauses ,
334
- ) -> & ' a [ chalk_ir:: ProgramClause < Self > ] {
327
+ clauses : & Self :: InternedProgramClauses ,
328
+ ) -> & [ chalk_ir:: ProgramClause < Self > ] {
335
329
clauses
336
330
}
337
331
@@ -342,10 +336,10 @@ impl chalk_ir::interner::Interner for Interner {
342
336
Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
343
337
}
344
338
345
- fn quantified_where_clauses_data < ' a > (
339
+ fn quantified_where_clauses_data (
346
340
self ,
347
- clauses : & ' a Self :: InternedQuantifiedWhereClauses ,
348
- ) -> & ' a [ chalk_ir:: QuantifiedWhereClause < Self > ] {
341
+ clauses : & Self :: InternedQuantifiedWhereClauses ,
342
+ ) -> & [ chalk_ir:: QuantifiedWhereClause < Self > ] {
349
343
clauses
350
344
}
351
345
@@ -356,10 +350,10 @@ impl chalk_ir::interner::Interner for Interner {
356
350
Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
357
351
}
358
352
359
- fn variable_kinds_data < ' a > (
353
+ fn variable_kinds_data (
360
354
self ,
361
- parameter_kinds : & ' a Self :: InternedVariableKinds ,
362
- ) -> & ' a [ chalk_ir:: VariableKind < Self > ] {
355
+ parameter_kinds : & Self :: InternedVariableKinds ,
356
+ ) -> & [ chalk_ir:: VariableKind < Self > ] {
363
357
& parameter_kinds. as_ref ( ) . 0
364
358
}
365
359
@@ -370,10 +364,10 @@ impl chalk_ir::interner::Interner for Interner {
370
364
Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
371
365
}
372
366
373
- fn canonical_var_kinds_data < ' a > (
367
+ fn canonical_var_kinds_data (
374
368
self ,
375
- canonical_var_kinds : & ' a Self :: InternedCanonicalVarKinds ,
376
- ) -> & ' a [ chalk_ir:: CanonicalVarKind < Self > ] {
369
+ canonical_var_kinds : & Self :: InternedCanonicalVarKinds ,
370
+ ) -> & [ chalk_ir:: CanonicalVarKind < Self > ] {
377
371
canonical_var_kinds
378
372
}
379
373
@@ -384,10 +378,10 @@ impl chalk_ir::interner::Interner for Interner {
384
378
data. into_iter ( ) . collect ( )
385
379
}
386
380
387
- fn constraints_data < ' a > (
381
+ fn constraints_data (
388
382
self ,
389
- constraints : & ' a Self :: InternedConstraints ,
390
- ) -> & ' a [ chalk_ir:: InEnvironment < chalk_ir:: Constraint < Self > > ] {
383
+ constraints : & Self :: InternedConstraints ,
384
+ ) -> & [ chalk_ir:: InEnvironment < chalk_ir:: Constraint < Self > > ] {
391
385
constraints
392
386
}
393
387
fn debug_closure_id (
@@ -410,10 +404,7 @@ impl chalk_ir::interner::Interner for Interner {
410
404
Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
411
405
}
412
406
413
- fn variances_data < ' a > (
414
- self ,
415
- variances : & ' a Self :: InternedVariances ,
416
- ) -> & ' a [ chalk_ir:: Variance ] {
407
+ fn variances_data ( self , variances : & Self :: InternedVariances ) -> & [ chalk_ir:: Variance ] {
417
408
variances
418
409
}
419
410
}
0 commit comments