rust/tests/ui/impl-trait/in-trait/missing-static-bound-from-impl.rs, branch try-perfhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try-perf2024-02-27T17:43:40+00:00Print RPITIT like an opaque2024-02-27T17:43:40+00:00Michael Gouletmichael@errs.io2024-02-27T16:11:35+00:00urn:sha1:b57ddfe079cbd9974f0b1f68a50f8f1b901cfdafAccount for RPITIT in E0310 explicit lifetime constraint suggestion2024-02-22T18:56:07+00:00Esteban Küberesteban@kuber.com.ar2024-02-22T06:15:55+00:00urn:sha1:5e6da720f621308a0f44e7c6bbd13a9fad68b240
When given
```rust
trait Original {
fn f() -> impl Fn();
}
trait Erased {
fn f(&self) -> Box<dyn Fn()>;
}
impl<T: Original> Erased for T {
fn f(&self) -> Box<dyn Fn()> {
Box::new(<T as Original>::f())
}
}
```
avoid suggestion to restrict the `Trait::{opaque}` type in a `where` clause:
```
error[E0310]: the associated type `<T as Original>::{opaque#0}` may not live long enough
--> $DIR/missing-static-bound-from-impl.rs:11:9
|
LL | Box::new(<T as Original>::f())
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
| the associated type `<T as Original>::{opaque#0}` must be valid for the static lifetime...
| ...so that the type `impl Fn()` will meet its required lifetime bounds
```
CC #119773.