-
Notifications
You must be signed in to change notification settings - Fork 12.9k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't expect early-bound region to be local in RPITIT well-formedness
- Loading branch information
1 parent
037f515
commit d9cd0d4
Showing
4 changed files
with
39 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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`. |