bors 0130c3a06e Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino ...

Make RPITITs assume/require their parent method's predicates

Removes a FIXME from the `param_env` query where we were manually adding the parent function's predicates to the RPITIT's assumptions.

r? `@spastorino`

2023-07-04 04:24:24 +00:00

..

auxiliary

…

box-coerce-span-in-default.rs

…

deep-match-works.rs

…

deep-match.current.stderr

…

deep-match.next.stderr

…

deep-match.rs

…

default-body-type-err-2.current.stderr

…

default-body-type-err-2.next.stderr

…

default-body-type-err-2.rs

…

default-body-type-err.current.stderr

…

default-body-type-err.next.stderr

…

default-body-type-err.rs

…

default-body-with-rpit.current.stderr

…

default-body-with-rpit.next.stderr

…

default-body-with-rpit.rs

…

default-body.rs

…

default-method-binder-shifting.rs

…

default-method-constraint.rs

…

doesnt-satisfy.current.stderr

…

doesnt-satisfy.next.stderr

…

doesnt-satisfy.rs

…

dont-project-to-rpitit-with-no-value.current.stderr

…

dont-project-to-rpitit-with-no-value.next.stderr

…

dont-project-to-rpitit-with-no-value.rs

…

early.rs

…

encode.rs

…

foreign-dyn-error.rs

…

foreign-dyn-error.stderr

…

foreign.rs

Encode item bounds for DefKind::ImplTraitPlaceholder

2023-06-29 16:37:13 +00:00

generics-mismatch.current.stderr

…

generics-mismatch.next.stderr

…

generics-mismatch.rs

…

issue-102140.current.stderr

…

issue-102140.next.stderr

RPITITs inherit method predicates

2023-06-30 20:08:56 +00:00

issue-102140.rs

…

issue-102301.rs

…

issue-102571.current.stderr

…

issue-102571.next.stderr

…

issue-102571.rs

…

method-signature-matches.lt.stderr

Flip the order of binder instantiation for better diagnostics

2023-06-30 02:17:07 +00:00

method-signature-matches.mismatch_async.stderr

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

method-signature-matches.mismatch.stderr

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

method-signature-matches.rs

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

method-signature-matches.too_few.stderr

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

method-signature-matches.too_many.stderr

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

nested-rpitit.rs

…

object-safety.current.stderr

…

object-safety.next.stderr

…

object-safety.rs

…

opaque-in-impl-is-opaque.current.stderr

…

opaque-in-impl-is-opaque.next.stderr

…

opaque-in-impl-is-opaque.rs

…

opaque-in-impl.rs

…

reveal.rs

…

signature-mismatch.current.stderr

Adapt tests from #105258

2023-06-30 02:39:07 +00:00

signature-mismatch.next.stderr

Adapt tests from #105258

2023-06-30 02:39:07 +00:00

signature-mismatch.rs

Adapt tests from #105258

2023-06-30 02:39:07 +00:00

specialization-broken.current.stderr

…

specialization-broken.next.stderr

…

specialization-broken.rs

…

specialization-substs-remap.rs

…

success.rs

…

suggest-missing-item.fixed

Liberate bound vars properly when suggesting missing AFIT

2023-06-21 16:32:26 +00:00

suggest-missing-item.rs

Liberate bound vars properly when suggesting missing AFIT

2023-06-21 16:32:26 +00:00

suggest-missing-item.stderr

Liberate bound vars properly when suggesting missing AFIT

2023-06-21 16:32:26 +00:00

trait-more-generics-than-impl.current.stderr

…

trait-more-generics-than-impl.next.stderr

…

trait-more-generics-than-impl.rs

…

unconstrained-lt.current.stderr

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

unconstrained-lt.next.stderr

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

unconstrained-lt.rs

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

variances-of-gat.rs

Properly implement variances_of for RPITIT GAT

2023-06-29 23:08:32 -03:00

wf-bounds.current.stderr

Additional wf test

2023-06-30 20:28:34 +00:00

wf-bounds.next.stderr

Additional wf test

2023-06-30 20:28:34 +00:00

wf-bounds.rs

Additional wf test

2023-06-30 20:28:34 +00:00

where-clause.rs

…