Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion compiler/rustc_middle/src/ty/context.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1193,7 +1193,7 @@ impl<'tcx> TyCtxt<'tcx> {
let (suitable_region_binding_scope, bound_region) = loop {
let def_id = match region.kind() {
ty::ReLateParam(fr) => fr.bound_region.get_id()?.as_local()?,
ty::ReEarlyParam(ebr) => ebr.def_id.expect_local(),
ty::ReEarlyParam(ebr) => ebr.def_id.as_local()?,
_ => return None, // not a free region
};
let scope = self.local_parent(def_id);
Expand Down
7 changes: 7 additions & 0 deletions tests/ui/async-await/in-trait/auxiliary/bad-region.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
// edition:2021

#[allow(async_fn_in_trait)]

pub trait BleRadio<'a> {
async fn transmit(&mut self);
}
17 changes: 17 additions & 0 deletions tests/ui/async-await/in-trait/bad-region.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
// aux-build:bad-region.rs
// edition:2021

#![allow(async_fn_in_trait)]

extern crate bad_region as jewel;

use jewel::BleRadio;

pub struct Radio {}

impl BleRadio for Radio {
//~^ ERROR implicit elided lifetime not allowed here
async fn transmit(&mut self) {}
}

fn main() {}
14 changes: 14 additions & 0 deletions tests/ui/async-await/in-trait/bad-region.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
error[E0726]: implicit elided lifetime not allowed here
--> $DIR/bad-region.rs:12:6
|
LL | impl BleRadio for Radio {
| ^^^^^^^^ expected lifetime parameter
|
help: indicate the anonymous lifetime
|
LL | impl BleRadio<'_> for Radio {
| ++++

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0726`.