user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/impl-trait/in-trait
History
bors 4bc39f028d Auto merge of #120924 - xFrednet:rfc-2383-stabilization-party, r=Urgau,blyxyas 
Let's `#[expect]` some lints: Stabilize `lint_reasons` (RFC 2383)

Let's give this another try! The [previous stabilization attempt](https://github.com/rust-lang/rust/pull/99063) was stalled by some unresolved questions. These have been discussed in a [lang team](https://github.com/rust-lang/lang-team/issues/191) meeting. The last open question, regarding the semantics of the `#[expect]` attribute was decided on in https://github.com/rust-lang/rust/issues/115980

I've just updated the [stabilization report](https://github.com/rust-lang/rust/issues/54503#issuecomment-1179563964) with the discussed questions and decisions. Luckily, the decision is inline with the current implementation.

This hopefully covers everything. Let's hope that the CI will be green like the spring.

fixes #115980
fixes #54503

---

r? `@wesleywiser`

Tacking Issue: https://github.com/rust-lang/rust/issues/54503
Stabilization Report: https://github.com/rust-lang/rust/issues/54503#issuecomment-1179563964
Documentation Update: https://github.com/rust-lang/reference/pull/1237

<!--
For Clippy:

changelog: [`allow_attributes`]: Is now available on stable, since the `lint_reasons` feature was stabilized
changelog: [`allow_attributes_without_reason`]: Is now available on stable, since the `lint_reasons` feature was stabilized
-->

---

Roses are red,
Violets are blue,
Let's expect lints,
With reason clues
2024-06-26 16:38:30 +00:00
..
auxiliary RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
alias-bounds-when-not-wf.rs Report better WF obligation leaf obligations in new solver 2024-05-16 21:08:42 -04:00
alias-bounds-when-not-wf.stderr Report better WF obligation leaf obligations in new solver 2024-05-16 21:08:42 -04:00
anonymize-binders-for-refine.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
assumed-wf-bounds-in-impl.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
async-and-ret-ref.rs Print RPITIT like an opaque 2024-02-27 17:43:40 +00:00
async-and-ret-ref.stderr Print RPITIT like an opaque 2024-02-27 17:43:40 +00:00
bad-item-bound-within-rpitit-2.rs Stop proving outlives constraints on regions we already reported errors on 2024-05-29 09:27:07 +00:00
bad-item-bound-within-rpitit-2.stderr Stop proving outlives constraints on regions we already reported errors on 2024-05-29 09:27:07 +00:00
bad-item-bound-within-rpitit.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
bad-item-bound-within-rpitit.stderr Split refining_impl_trait lint into _reachable, _internal variants 2024-03-05 16:19:16 -08:00
box-coerce-span-in-default.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
check-wf-on-non-defaulted-rpitit.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
check-wf-on-non-defaulted-rpitit.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
cycle-effective-visibilities-during-object-safety.rs Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
cycle-effective-visibilities-during-object-safety.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
deep-match-works.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
deep-match.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
deep-match.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
default-body-type-err-2.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
default-body-type-err-2.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
default-body-type-err.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
default-body-type-err.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
default-body-with-rpit.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
default-body.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
default-method-binder-shifting.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
default-method-constraint.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
doesnt-satisfy.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
doesnt-satisfy.stderr rename RPITIT from opaque to synthetic 2024-02-27 17:43:40 +00:00
dont-project-to-rpitit-with-no-value.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
dont-project-to-rpitit-with-no-value.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
early.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
encode.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
ensure-rpitits-are-created-before-freezing.rs Ensure RPITITs are created before def-id freezing 2024-03-14 20:30:57 -04:00
ensure-rpitits-are-created-before-freezing.stderr Ensure RPITITs are created before def-id freezing 2024-03-14 20:30:57 -04:00
expeced-refree-to-map-to-reearlybound-ice-108580.rs add test for ICE: no errors encountered even though delay_span_bug issued, expected ReFree to map to ReEarlyBound #108580 2024-03-24 10:35:24 +01:00
expeced-refree-to-map-to-reearlybound-ice-108580.stderr add test for ICE: no errors encountered even though delay_span_bug issued, expected ReFree to map to ReEarlyBound #108580 2024-03-24 10:35:24 +01:00
foreign-dyn-error.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
foreign-dyn-error.stderr RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
foreign.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
foreign.stderr RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
gat-outlives.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
gat-outlives.stderr Fix outlives suggestion for GAT in RPITIT 2023-10-16 15:42:26 +00:00
generics-mismatch.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
generics-mismatch.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-102140.rs Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
issue-102140.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
issue-102301.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
issue-102571.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
issue-102571.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
lifetime-in-associated-trait-bound.rs Stabilize associated type bounds 2024-03-08 20:56:25 +00:00
method-signature-matches.lt.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
method-signature-matches.mismatch.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
method-signature-matches.mismatch_async.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
method-signature-matches.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
method-signature-matches.too_few.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
method-signature-matches.too_many.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
missing-lt-outlives-in-rpitit-114274.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
missing-lt-outlives-in-rpitit-114274.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
missing-static-bound-from-impl.rs Print RPITIT like an opaque 2024-02-27 17:43:40 +00:00
missing-static-bound-from-impl.stderr Print RPITIT like an opaque 2024-02-27 17:43:40 +00:00
nested-rpitit-bounds.rs also remap RPITITs nested in other types back to their opaques 2024-04-21 18:04:50 +02:00
nested-rpitit.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
object-safety-sized.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
object-safety.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
object-safety.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
opaque-and-lifetime-mismatch.rs Delay a bug if no RPITITs were found 2024-03-22 22:56:28 +01:00
opaque-and-lifetime-mismatch.stderr Delay a bug if no RPITITs were found 2024-03-22 22:56:28 +01:00
opaque-in-impl-is-opaque.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
opaque-in-impl-is-opaque.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
opaque-in-impl.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
opaque-variances.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
outlives-in-nested-rpit.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
placeholder-implied-bounds.rs borrowck: more eagerly prepopulate opaques 2024-05-06 16:04:57 +00:00
refine-normalize.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
refine-resolution-errors.rs delay bug in RPITIT refinement checking with resolution errors 2024-06-25 21:05:54 +00:00
refine-resolution-errors.stderr delay bug in RPITIT refinement checking with resolution errors 2024-06-25 21:05:54 +00:00
refine.rs Split refining_impl_trait lint into _reachable, _internal variants 2024-03-05 16:19:16 -08:00
refine.stderr Split refining_impl_trait lint into _reachable, _internal variants 2024-03-05 16:19:16 -08:00
return-dont-satisfy-bounds.rs Consolidate WF for aliases 2024-03-14 12:17:00 -04:00
return-dont-satisfy-bounds.stderr Consolidate WF for aliases 2024-03-14 12:17:00 -04:00
reveal.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
rpitit-cycle-in-generics-of.rs Uplift some feeding out of associated_type_for_impl_trait_in_impl and into queries 2024-03-05 15:55:31 +00:00
rpitit-hidden-types-self-implied-wf-via-param.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
rpitit-hidden-types-self-implied-wf-via-param.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
rpitit-hidden-types-self-implied-wf.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
rpitit-hidden-types-self-implied-wf.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
rpitit-shadowed-by-missing-adt.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
rpitit-shadowed-by-missing-adt.stderr RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
sibling-function-constraint.rs Test that RPITITs have RPIT scope and not impl-wide scope 2023-10-13 21:01:36 +00:00
sibling-function-constraint.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
signature-mismatch.failure.stderr RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
signature-mismatch.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
span-bug-issue-121457.rs Stop chopping off args for no reason 2024-04-03 11:16:58 -04:00
span-bug-issue-121457.stderr Stop chopping off args for no reason 2024-04-03 11:16:58 -04:00
specialization-broken.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
specialization-broken.stderr recurse into refs when comparing tys for diagnostics 2023-12-07 23:00:46 -05:00
specialization-substs-remap.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
success.rs RFC 2383: Stabilize lint_reasons 🎉 2024-06-25 17:22:22 +02:00
suggest-missing-item.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
suggest-missing-item.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
suggest-missing-item.stderr Update tests 2024-02-07 10:42:01 +08:00
synthetic-hir-has-parent.rs Tests for getting parent of synthetic HIR 2024-04-03 17:44:47 -04:00
synthetic-hir-has-parent.stderr Tests for getting parent of synthetic HIR 2024-04-03 17:44:47 -04:00
trait-more-generics-than-impl.rs Remove incomplete features from RPITIT/AFIT tests 2023-10-24 15:27:06 +00:00
trait-more-generics-than-impl.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unconstrained-lt.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
unconstrained-lt.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
variance.rs Stabilize AFIT and RPITIT 2023-10-13 21:01:36 +00:00
variance.stderr Test variances of opaque captures 2023-08-28 01:05:34 +00:00
variances-of-gat.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
wf-bounds.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
wf-bounds.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
where-clause.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00