File tree 2 files changed +4
-5
lines changed
compiler/rustc_hir_typeck/src/generator_interior
tests/ui/generic-associated-types/bugs
2 files changed +4
-5
lines changed Original file line number Diff line number Diff line change @@ -256,15 +256,14 @@ pub fn resolve_interior<'a, 'tcx>(
256
256
_ => mk_bound_region ( ty:: BrAnon ( None ) ) ,
257
257
}
258
258
}
259
- // FIXME: these should use `BrNamed`
260
259
ty:: ReEarlyBound ( region) => {
261
260
mk_bound_region ( ty:: BrNamed ( region. def_id , region. name ) )
262
261
}
263
262
ty:: ReLateBound ( _, ty:: BoundRegion { kind, .. } )
264
263
| ty:: ReFree ( ty:: FreeRegion { bound_region : kind, .. } ) => match kind {
265
264
ty:: BoundRegionKind :: BrAnon ( span) => mk_bound_region ( ty:: BrAnon ( span) ) ,
266
- ty:: BoundRegionKind :: BrNamed ( def_id, _ ) => {
267
- mk_bound_region ( ty:: BrAnon ( Some ( fcx . tcx . def_span ( def_id) ) ) )
265
+ ty:: BoundRegionKind :: BrNamed ( def_id, sym ) => {
266
+ mk_bound_region ( ty:: BrNamed ( def_id, sym ) )
268
267
}
269
268
ty:: BoundRegionKind :: BrEnv => mk_bound_region ( ty:: BrAnon ( None ) ) ,
270
269
} ,
Original file line number Diff line number Diff line change @@ -28,12 +28,12 @@ LL | | async {}.await; // a yield point
28
28
LL | | }
29
29
| |_____^
30
30
|
31
- note: the lifetime defined here...
31
+ note: the lifetime `'b` defined here...
32
32
--> $DIR/issue-100013.rs:21:14
33
33
|
34
34
LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
35
35
| ^^
36
- note: ...must outlive the lifetime defined here
36
+ note: ...must outlive the lifetime `'a` defined here
37
37
--> $DIR/issue-100013.rs:21:10
38
38
|
39
39
LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
You can’t perform that action at this time.
0 commit comments