diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-05-11 13:16:34 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-11 13:16:34 +0900 |
| commit | 17a735b69a3e9c59f7755d43a0e4b26867e72852 (patch) | |
| tree | 83e032bc5e9e4367121c622eb4ad4adcbc017d76 /compiler/rustc_mir_transform/src/coverage/spans.rs | |
| parent | 95b2d37a392d50a7a42b7b4936386cbf926a27d7 (diff) | |
| parent | d63f82e1efbfbe2344ffa3a47602faaee6429d04 (diff) | |
| download | rust-17a735b69a3e9c59f7755d43a0e4b26867e72852.tar.gz rust-17a735b69a3e9c59f7755d43a0e4b26867e72852.zip | |
Rollup merge of #96903 - oli-obk:opaque_type_lifetime_constraints, r=compiler-errors
Use lifetimes on type-alias-impl-trait used in function signatures to infer output type lifetimes
fixes https://github.com/rust-lang/rust/issues/96564
TLDR:
```rust
fn execute(ty: Ty<'_>) -> &str { todo!() }
```
(`Ty` being a type alias impl trait) used to produce the following error before this PR
```
error[E0581]: return type references an anonymous lifetime, which is not constrained by the fn input types
--> src/lib.rs:4:27
|
4 | fn execute(ty: Ty<'_>) -> &str { todo!() }
| ^^^^
|
= note: lifetimes appearing in an associated type are not considered constrained
```
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/spans.rs')
0 files changed, 0 insertions, 0 deletions