Repository navigation
AFIT: incorrect "method not compatible with trait" #103457
Description
pub trait SpiDevice {
async fn transaction<'a, F: 'a>(&'a mut self, f: F);
}
impl SpiDevice for () {
async fn transaction<'a, F: 'a>(&'a mut self, f: F) {}
}gives the following error:
error[[E0308]](https://doc.rust-lang.org/nightly/error-index.html#E0308): method not compatible with trait
--> src/lib.rs:9:5
|
9 | async fn transaction<'a, F: 'a>(&'a mut self, f: F) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
|
note: while checking the return type of the `async fn`
--> src/lib.rs:9:57
|
9 | async fn transaction<'a, F: 'a>(&'a mut self, f: F) {}
| ^ checked the `Output` of this `async fn`, expected opaque type
note: while checking the return type of the `async fn`
--> src/lib.rs:9:57
|
9 | async fn transaction<'a, F: 'a>(&'a mut self, f: F) {}
| ^ checked the `Output` of this `async fn`, found opaque type
= note: expected fn pointer `fn(&'a mut (), _) -> impl Future<Output = ()>`
found fn pointer `fn(&'a mut (), _) -> impl Future<Output = ()>`
note: the lifetime `'a` as defined here...
--> src/lib.rs:9:26
|
9 | async fn transaction<'a, F: 'a>(&'a mut self, f: F) {}
| ^^
= note: ...does not necessarily outlive the static lifetime
The equivalent without async works.
Activity
compiler-errors commentedon Oct 24, 2022
I've got a root cause identified for this, but still working out some weird lifetime issues that fall out after the fix.
Rollup merge of rust-lang#103608 - compiler-errors:rpitit-early-lt, r…
Rollup merge of rust-lang#103608 - compiler-errors:rpitit-early-lt, r…
oli-obk commentedon Nov 30, 2022
This was fixed by #103491