Michael Goulet 07fc644132 Do not require associated types with Self: Sized to uphold bounds when confirming object candidate

2023-09-02 05:08:38 +00:00

..

auxiliary

…

assumed-wf-bounds-in-impl.rs

Implement assumed_wf_types for RPITITs' implementations

2023-07-29 21:19:33 +00:00

bad-item-bound-within-rpitit-2.rs

…

bad-item-bound-within-rpitit-2.stderr

…

bad-item-bound-within-rpitit.rs

some nits, bless test

2023-07-29 21:29:03 +00:00

bad-item-bound-within-rpitit.stderr

some nits, bless test

2023-07-29 21:29:03 +00:00

box-coerce-span-in-default.rs

…

check-wf-on-non-defaulted-rpitit.rs

Don't install default projection bound for RPITITs

2023-07-30 21:46:29 +00:00

check-wf-on-non-defaulted-rpitit.stderr

Revert "Suggest using Arc on !Send/!Sync types"

2023-08-28 03:16:48 -07:00

deep-match-works.rs

…

deep-match.rs

…

deep-match.stderr

…

default-body-type-err-2.rs

…

default-body-type-err-2.stderr

…

default-body-type-err.rs

…

default-body-type-err.stderr

…

default-body-with-rpit.rs

Remap explicit item bounds of RPITIT's opaque back to ty::Opaque

2023-07-30 20:31:27 +00:00

default-body.rs

…

default-method-binder-shifting.rs

…

default-method-constraint.rs

…

doesnt-satisfy.rs

…

doesnt-satisfy.stderr

…

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

…

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

…

early.rs

…

encode.rs

…

foreign-dyn-error.rs

…

foreign-dyn-error.stderr

…

foreign.rs

…

generics-mismatch.rs

…

generics-mismatch.stderr

…

issue-102140.rs

…

issue-102140.stderr

RPITITs are considered object-safe, they're always on Self:Sized methods

2023-09-02 04:58:23 +00:00

issue-102301.rs

…

issue-102571.rs

…

issue-102571.stderr

…

lifetime-in-associated-trait-bound.rs

Capture lifetimes for associated type bounds destined to be lowered to opaques

2023-08-30 00:31:00 +00:00

method-signature-matches.lt.stderr

…

method-signature-matches.mismatch_async.stderr

…

method-signature-matches.mismatch.stderr

…

method-signature-matches.rs

…

method-signature-matches.too_few.stderr

…

method-signature-matches.too_many.stderr

…

missing-lt-outlives-in-rpitit-114274.rs

Suppress unnecessary outlives

2023-08-01 17:16:47 +00:00

missing-lt-outlives-in-rpitit-114274.stderr

Suppress unnecessary outlives

2023-08-01 17:16:47 +00:00

nested-rpitit.rs

…

object-safety-sized.rs

RPITITs are considered object-safe, they're always on Self:Sized methods

2023-09-02 04:58:23 +00:00

object-safety.rs

Do not require associated types with Self: Sized to uphold bounds when confirming object candidate

2023-09-02 05:08:38 +00:00

object-safety.stderr

Do not require associated types with Self: Sized to uphold bounds when confirming object candidate

2023-09-02 05:08:38 +00:00

opaque-in-impl-is-opaque.rs

…

opaque-in-impl-is-opaque.stderr

…

opaque-in-impl.rs

…

outlives-in-nested-rpit.rs

Install bidirectional outlives predicates for RPITITs (and RPITs) correctly

2023-08-08 09:39:42 +00:00

return-dont-satisfy-bounds.rs

…

return-dont-satisfy-bounds.stderr

…

reveal.rs

…

rpitit-shadowed-by-missing-adt.rs

…

rpitit-shadowed-by-missing-adt.stderr

…

signature-mismatch.failure.stderr

Bless tests

2023-08-28 01:05:34 +00:00

signature-mismatch.rs

Bless tests

2023-08-28 01:05:34 +00:00

specialization-broken.rs

…

specialization-broken.stderr

…

specialization-substs-remap.rs

…

success.rs

…

suggest-missing-item.fixed

…

suggest-missing-item.rs

…

suggest-missing-item.stderr

…

trait-more-generics-than-impl.rs

…

trait-more-generics-than-impl.stderr

…

unconstrained-lt.rs

…

unconstrained-lt.stderr

…

variance.rs

Test variances of opaque captures

2023-08-28 01:05:34 +00:00

variance.stderr

Test variances of opaque captures

2023-08-28 01:05:34 +00:00

variances-of-gat.rs

…

wf-bounds.rs

…

wf-bounds.stderr

Take RPITITs inherit the assumed_wf_types of their parent fn

2023-07-29 21:19:33 +00:00

where-clause.rs

…