@@ -228,26 +228,23 @@ impl chalk_ir::interner::Interner for Interner {
228228 Interned :: new ( InternedWrapper ( chalk_ir:: TyData { kind, flags } ) )
229229 }
230230
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 > {
232232 & ty. 0
233233 }
234234
235235 fn intern_lifetime ( self , lifetime : chalk_ir:: LifetimeData < Self > ) -> Self :: InternedLifetime {
236236 Interned :: new ( InternedWrapper ( lifetime) )
237237 }
238238
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 > {
243240 & lifetime. 0
244241 }
245242
246243 fn intern_const ( self , constant : chalk_ir:: ConstData < Self > ) -> Self :: InternedConst {
247244 Interned :: new ( InternedWrapper ( constant) )
248245 }
249246
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 > {
251248 & constant. 0
252249 }
253250
@@ -267,10 +264,10 @@ impl chalk_ir::interner::Interner for Interner {
267264 parameter
268265 }
269266
270- fn generic_arg_data < ' a > (
267+ fn generic_arg_data (
271268 self ,
272- parameter : & ' a Self :: InternedGenericArg ,
273- ) -> & ' a chalk_ir:: GenericArgData < Self > {
269+ parameter : & Self :: InternedGenericArg ,
270+ ) -> & chalk_ir:: GenericArgData < Self > {
274271 parameter
275272 }
276273
@@ -285,11 +282,11 @@ impl chalk_ir::interner::Interner for Interner {
285282 data. into_iter ( ) . collect ( )
286283 }
287284
288- fn goal_data < ' a > ( self , goal : & ' a Self :: InternedGoal ) -> & ' a GoalData < Self > {
285+ fn goal_data ( self , goal : & Self :: InternedGoal ) -> & GoalData < Self > {
289286 goal
290287 }
291288
292- fn goals_data < ' a > ( self , goals : & ' a Self :: InternedGoals ) -> & ' a [ Goal < Interner > ] {
289+ fn goals_data ( self , goals : & Self :: InternedGoals ) -> & [ Goal < Interner > ] {
293290 goals
294291 }
295292
@@ -300,10 +297,7 @@ impl chalk_ir::interner::Interner for Interner {
300297 Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
301298 }
302299
303- fn substitution_data < ' a > (
304- self ,
305- substitution : & ' a Self :: InternedSubstitution ,
306- ) -> & ' a [ GenericArg ] {
300+ fn substitution_data ( self , substitution : & Self :: InternedSubstitution ) -> & [ GenericArg ] {
307301 & substitution. as_ref ( ) . 0
308302 }
309303
@@ -314,10 +308,10 @@ impl chalk_ir::interner::Interner for Interner {
314308 data
315309 }
316310
317- fn program_clause_data < ' a > (
311+ fn program_clause_data (
318312 self ,
319- clause : & ' a Self :: InternedProgramClause ,
320- ) -> & ' a chalk_ir:: ProgramClauseData < Self > {
313+ clause : & Self :: InternedProgramClause ,
314+ ) -> & chalk_ir:: ProgramClauseData < Self > {
321315 clause
322316 }
323317
@@ -328,10 +322,10 @@ impl chalk_ir::interner::Interner for Interner {
328322 Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
329323 }
330324
331- fn program_clauses_data < ' a > (
325+ fn program_clauses_data (
332326 self ,
333- clauses : & ' a Self :: InternedProgramClauses ,
334- ) -> & ' a [ chalk_ir:: ProgramClause < Self > ] {
327+ clauses : & Self :: InternedProgramClauses ,
328+ ) -> & [ chalk_ir:: ProgramClause < Self > ] {
335329 clauses
336330 }
337331
@@ -342,10 +336,10 @@ impl chalk_ir::interner::Interner for Interner {
342336 Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
343337 }
344338
345- fn quantified_where_clauses_data < ' a > (
339+ fn quantified_where_clauses_data (
346340 self ,
347- clauses : & ' a Self :: InternedQuantifiedWhereClauses ,
348- ) -> & ' a [ chalk_ir:: QuantifiedWhereClause < Self > ] {
341+ clauses : & Self :: InternedQuantifiedWhereClauses ,
342+ ) -> & [ chalk_ir:: QuantifiedWhereClause < Self > ] {
349343 clauses
350344 }
351345
@@ -356,10 +350,10 @@ impl chalk_ir::interner::Interner for Interner {
356350 Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
357351 }
358352
359- fn variable_kinds_data < ' a > (
353+ fn variable_kinds_data (
360354 self ,
361- parameter_kinds : & ' a Self :: InternedVariableKinds ,
362- ) -> & ' a [ chalk_ir:: VariableKind < Self > ] {
355+ parameter_kinds : & Self :: InternedVariableKinds ,
356+ ) -> & [ chalk_ir:: VariableKind < Self > ] {
363357 & parameter_kinds. as_ref ( ) . 0
364358 }
365359
@@ -370,10 +364,10 @@ impl chalk_ir::interner::Interner for Interner {
370364 Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
371365 }
372366
373- fn canonical_var_kinds_data < ' a > (
367+ fn canonical_var_kinds_data (
374368 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 > ] {
377371 canonical_var_kinds
378372 }
379373
@@ -384,10 +378,10 @@ impl chalk_ir::interner::Interner for Interner {
384378 data. into_iter ( ) . collect ( )
385379 }
386380
387- fn constraints_data < ' a > (
381+ fn constraints_data (
388382 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 > > ] {
391385 constraints
392386 }
393387 fn debug_closure_id (
@@ -410,10 +404,7 @@ impl chalk_ir::interner::Interner for Interner {
410404 Ok ( Interned :: new ( InternedWrapper ( data. into_iter ( ) . collect :: < Result < _ , _ > > ( ) ?) ) )
411405 }
412406
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 ] {
417408 variances
418409 }
419410}
0 commit comments