@@ -49,7 +49,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
49
49
call_expr : & ' tcx hir:: Expr < ' tcx > ,
50
50
unadjusted_self_ty : Ty < ' tcx > ,
51
51
pick : & probe:: Pick < ' tcx > ,
52
- segment : & hir:: PathSegment < ' _ > ,
52
+ segment : & ' tcx hir:: PathSegment < ' tcx > ,
53
53
) -> ConfirmResult < ' tcx > {
54
54
debug ! (
55
55
"confirm(unadjusted_self_ty={:?}, pick={:?}, generic_args={:?})" ,
@@ -75,7 +75,7 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
75
75
& mut self ,
76
76
unadjusted_self_ty : Ty < ' tcx > ,
77
77
pick : & probe:: Pick < ' tcx > ,
78
- segment : & hir:: PathSegment < ' _ > ,
78
+ segment : & ' tcx hir:: PathSegment < ' tcx > ,
79
79
) -> ConfirmResult < ' tcx > {
80
80
// Adjust the self expression the user provided and obtain the adjusted type.
81
81
let self_ty = self . adjust_self_ty ( unadjusted_self_ty, & pick) ;
@@ -325,7 +325,7 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
325
325
fn instantiate_method_substs (
326
326
& mut self ,
327
327
pick : & probe:: Pick < ' tcx > ,
328
- seg : & hir:: PathSegment < ' _ > ,
328
+ seg : & ' tcx hir:: PathSegment < ' tcx > ,
329
329
parent_substs : SubstsRef < ' tcx > ,
330
330
) -> SubstsRef < ' tcx > {
331
331
// Determine the values for the generic parameters of the method.
@@ -349,7 +349,7 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
349
349
struct MethodSubstsCtxt < ' a , ' tcx > {
350
350
cfcx : & ' a ConfirmContext < ' a , ' tcx > ,
351
351
pick : & ' a probe:: Pick < ' tcx > ,
352
- seg : & ' a hir:: PathSegment < ' a > ,
352
+ seg : & ' tcx hir:: PathSegment < ' tcx > ,
353
353
}
354
354
impl < ' a , ' tcx > CreateSubstsForGenericArgsCtxt < ' a , ' tcx > for MethodSubstsCtxt < ' a , ' tcx > {
355
355
fn args_for_def_id (
0 commit comments