@@ -1257,6 +1257,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
1257
1257
return self . lower_path_ty ( t, qself, path, ParamMode :: Explicit , itctx) ;
1258
1258
}
1259
1259
TyKind :: ImplicitSelf => {
1260
+ let hir_id = self . lower_node_id ( t. id ) ;
1260
1261
let res = self . expect_full_res ( t. id ) ;
1261
1262
let res = self . lower_res ( res) ;
1262
1263
hir:: TyKind :: Path ( hir:: QPath :: Resolved (
@@ -1265,6 +1266,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
1265
1266
res,
1266
1267
segments : arena_vec ! [ self ; hir:: PathSegment :: from_ident(
1267
1268
Ident :: with_dummy_span( kw:: SelfUpper ) ,
1269
+ hir_id,
1268
1270
res
1269
1271
) ] ,
1270
1272
span : self . lower_span ( t. span ) ,
@@ -2191,13 +2193,14 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
2191
2193
hir:: PredicateOrigin :: ImplTrait ,
2192
2194
) ;
2193
2195
2196
+ let hir_id = self . next_id ( ) ;
2194
2197
let res = Res :: Def ( DefKind :: TyParam , def_id. to_def_id ( ) ) ;
2195
2198
let ty = hir:: TyKind :: Path ( hir:: QPath :: Resolved (
2196
2199
None ,
2197
2200
self . arena . alloc ( hir:: Path {
2198
2201
span : self . lower_span ( span) ,
2199
2202
res,
2200
- segments : arena_vec ! [ self ; hir:: PathSegment :: from_ident( self . lower_ident( ident) , res) ] ,
2203
+ segments : arena_vec ! [ self ; hir:: PathSegment :: from_ident( self . lower_ident( ident) , hir_id , res) ] ,
2201
2204
} ) ,
2202
2205
) ) ;
2203
2206
0 commit comments