diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-02-24 15:35:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-24 15:35:12 +0100 |
| commit | b10ef3c6bc8ba9cf5392f52387dd07879f4e5767 (patch) | |
| tree | 61640be1c613841e750a0d4968c7a2d37226a520 /tests/codegen/src-hash-algorithm/src-hash-algorithm-sha256.rs | |
| parent | 8f359beca4e58bc3ae795a666301a8f47023044c (diff) | |
| parent | 5e6da720f621308a0f44e7c6bbd13a9fad68b240 (diff) | |
| download | rust-b10ef3c6bc8ba9cf5392f52387dd07879f4e5767.tar.gz rust-b10ef3c6bc8ba9cf5392f52387dd07879f4e5767.zip | |
Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errors
Account for RPITIT in E0310 explicit lifetime constraint suggestion
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())
}
}
```
emit do not emit an invalid suggestion restricting 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
```
Partially address #119773. Ideally we'd suggest modifying `Erased::f` instead.
r? `@compiler-errors`
Diffstat (limited to 'tests/codegen/src-hash-algorithm/src-hash-algorithm-sha256.rs')
0 files changed, 0 insertions, 0 deletions
