Matthias Krüger 63635880f6 Rollup merge of #108583 - compiler-errors:rpitit-default-method-with-nested-rpitits, r=spastorino ... Account for binders correctly when adding default RPITIT method assumption As of #108203, we install extra projection predicates into the param-env of a default trait method when it has return-position `impl Trait` (or is async). The implementation didn't account for the fact that it's walking into and out of binders, so we just need to shift all the debruijn indices accordingly when constructing the projection predicates. Fixes #108579 r? types		2023-03-07 19:57:44 +01:00
..
auxiliary	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
new-lowering-strategy	Add simple trait test	2023-03-02 16:48:49 -03:00
box-coerce-span-in-default.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
box-coerce-span-in-default.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
deep-match-works.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
deep-match.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
deep-match.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
default-body-type-err-2.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
default-body-type-err-2.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
default-body-type-err.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
default-body-type-err.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
default-body-with-rpit.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
default-body.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
default-method-binder-shifting.rs	Shift vars for default RPITIT methods correctly	2023-02-28 21:34:59 +00:00
default-method-binder-shifting.stderr	Shift vars for default RPITIT methods correctly	2023-02-28 21:34:59 +00:00
default-method-constraint.rs	Add a test for default trait method with RPITITs	2023-02-21 02:01:26 +00:00
default-method-constraint.stderr	Add a test for default trait method with RPITITs	2023-02-21 02:01:26 +00:00
doesnt-satisfy.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
doesnt-satisfy.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
dont-project-to-rpitit-with-no-value.rs	Don't project to RPITIT that has no default value	2023-03-04 18:36:02 +00:00
dont-project-to-rpitit-with-no-value.stderr	Don't project to RPITIT that has no default value	2023-03-04 18:36:02 +00:00
early.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
encode.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
foreign.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
generics-mismatch.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
generics-mismatch.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-102140.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-102140.stderr	Make &-removal suggestion verbose	2023-01-11 21:38:54 +00:00
issue-102301.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-102571.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-102571.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
method-signature-matches.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
method-signature-matches.stderr	Remove confusing 'while checking' note from opaque future type mismatches	2023-01-22 17:02:47 +00:00
nested-rpitit.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
object-safety.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
object-safety.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
opaque-in-impl-is-opaque.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
opaque-in-impl-is-opaque.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
opaque-in-impl.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
reveal.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
signature-mismatch.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
signature-mismatch.stderr	Introduce ReError	2023-02-09 10:26:49 +00:00
specialization-broken.rs	Descriptive error when users try to combine RPITIT/AFIT with specialization	2023-02-28 02:03:43 +00:00
specialization-broken.stderr	Descriptive error when users try to combine RPITIT/AFIT with specialization	2023-02-28 02:03:43 +00:00
specialization-substs-remap.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
success.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
trait-more-generics-than-impl.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
trait-more-generics-than-impl.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
wf-bounds.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
wf-bounds.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
where-clause.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00