Remove one use of BrAnon(Some(_)).

This commit is contained in:
Nicholas Nethercote 2023-04-13 12:31:40 +10:00
parent c18773a286
commit 7dbd2e2370
2 changed files with 3 additions and 3 deletions

View File

@ -258,7 +258,7 @@ pub fn resolve_interior<'a, 'tcx>(
}
// FIXME: these should use `BrNamed`
ty::ReEarlyBound(region) => {
mk_bound_region(ty::BrAnon(Some(fcx.tcx.def_span(region.def_id))))
mk_bound_region(ty::BrNamed(region.def_id, region.name))
}
ty::ReLateBound(_, ty::BoundRegion { kind, .. })
| ty::ReFree(ty::FreeRegion { bound_region: kind, .. }) => match kind {

View File

@ -62,12 +62,12 @@ LL | | async {}.await; // a yield point
LL | | }
| |_____^
|
note: the lifetime defined here...
note: the lifetime `'b` defined here...
--> $DIR/issue-100013.rs:28:18
|
LL | fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {
| ^^
note: ...must outlive the lifetime defined here
note: ...must outlive the lifetime `'a` defined here
--> $DIR/issue-100013.rs:28:10
|
LL | fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {