Skip to content

Support using Self or projections inside an RPIT/async fn #103491

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 15 commits into from
Nov 21, 2022
Merged

Support using Self or projections inside an RPIT/async fn #103491

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
b956509
Compute variance for opaques too.
cjgillot Oct 23, 2022
5fc261e
Inherit generics for impl-trait.
cjgillot Oct 23, 2022
b676fc4
Bless ui tests.
cjgillot Oct 24, 2022
47de11f
Use variances for defining use diag.
cjgillot Oct 23, 2022
b77674d
Make impl_trait_projections a feature gate.
cjgillot Oct 24, 2022
9423406
Explain redundant mapping.
cjgillot Oct 24, 2022
af06960
Add tracking issue number.
cjgillot Oct 25, 2022
9e9f5b1
Add test for projections in async-in-trait.
cjgillot Oct 25, 2022
da9dca7
Retire error code.
cjgillot Oct 26, 2022
49a5aa4
Verify predicates on RPIT and async opaques.
cjgillot Nov 11, 2022
c5949c8
Create bidirectional bounds between original and duplicated parameters.
cjgillot Nov 11, 2022
d470ac9
Drop `relate_opaque_item_substs`.
cjgillot Nov 14, 2022
3afec24
Deduplicate visitor.
cjgillot Nov 14, 2022
b552965
Typo.
cjgillot Nov 14, 2022
b37feca
Give precendence to regions from member constaints when inferring con…
cjgillot Nov 14, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Retire error code.
  • Loading branch information
@cjgillot
cjgillot committed Nov 12, 2022
commit da9dca704003df6fcc85a535aa578b42b13de590
4 changes: 3 additions & 1 deletion compiler/rustc_error_codes/src/error_codes/E0760.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,11 @@
#### Note: this error code is no longer emitted by the compiler.

`async fn`/`impl trait` return type cannot contain a projection
or `Self` that references lifetimes from a parent scope.

Erroneous code example:

```compile_fail,E0760,edition2018
```compile_fail,edition2018
struct S<'a>(&'a i32);

impl<'a> S<'a> {
Expand Down