Matthias Krüger 8b72058985 Rollup merge of #126746 - compiler-errors:no-rpitit, r=oli-obk ...

Deny `use<>` for RPITITs

Precise capturing `use<>` syntax is currently a no-op on RPITITs, since GATs have no variance, so all captured lifetimes are captured invariantly.

We don't currently *need* to support `use<>` on RPITITs, since `use<>` is initially intended for migrating RPIT *overcaptures* from edition 2021->2024, but since RPITITs currently capture all in-scope lifetimes, we'll never need to write `use<>` on an RPITIT.

Eventually, though, it would be desirable to support precise capturing on RPITITs, since RPITITs overcapturing by default can be annoying to some folks. But let's separate that (which will likely require some delicate types team work for adding variances to GATs and adjusting the refinement rules) from the stabilization of the feature for edition 2024.

r? oli-obk cc ``@traviscross``

Tracking:

- https://github.com/rust-lang/rust/issues/123432

2024-06-25 18:02:58 +02:00

..

alias-liveness

Add another test for hidden types capturing lifetimes that outlive but arent mentioned in substs

2024-06-04 21:06:29 -04:00

auxiliary

…

diagnostics

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

explicit-generic-args-with-impl-trait

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

in-ctfe

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

in-trait

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

issues

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

multiple-lifetimes

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

precise-capturing

Deny use<> for RPITITs

2024-06-24 12:03:09 -04:00

rpit

remove test FIXME re once-module-region

2024-03-28 06:41:22 +00:00

transmute

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

arg-position-impl-trait-too-long.rs

…

arg-position-impl-trait-too-long.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

associated-impl-trait-type-generic-trait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

associated-impl-trait-type-issue-114325.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

associated-impl-trait-type-trivial.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

associated-impl-trait-type.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

associated-type-cycle.rs

Fix stack overflow with recursive associated types

2024-03-12 06:03:43 +00:00

associated-type-cycle.stderr

Fix stack overflow with recursive associated types

2024-03-12 06:03:43 +00:00

associated-type-undefine.rs

Add test for walking order dependent opaque type behaviour

2024-06-12 15:32:25 +00:00

associated-type-undefine.stderr

Add test for walking order dependent opaque type behaviour

2024-06-12 15:32:25 +00:00

async_scope_creep.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

auto-trait-coherence.next.stderr

update tests

2024-02-26 10:57:46 +01:00

auto-trait-coherence.old.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

auto-trait-coherence.rs

update tests

2024-02-26 10:57:46 +01:00

auto-trait-leak2.rs

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

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

auto-trait-leak2.stderr

Provide more context on derived obligation error primary label

2024-01-30 21:28:18 +00:00

auto-trait-leak-rpass.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

auto-trait-leak.rs

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

auto-trait-leak.stderr

Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item.

2024-03-11 17:19:37 +00:00

autoderef.rs

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

bivariant-lifetime-liveness.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

bound-normalization-fail.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

bound-normalization-fail.stderr

Stabilize impl_trait_projections

2023-09-08 03:45:36 +00:00

bound-normalization-pass.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

bounds_regression.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

call_method_ambiguous.next.stderr

Delay a bug and mark precise_capturing as not incomplete

2024-06-17 22:35:25 -04:00

call_method_ambiguous.rs

Delay a bug and mark precise_capturing as not incomplete

2024-06-17 22:35:25 -04:00

call_method_on_inherent_impl_on_rigid_type.current.stderr

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl_on_rigid_type.next.stderr

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl_on_rigid_type.rs

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl_ref.current.stderr

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl_ref.next.stderr

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl_ref.rs

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl.next.stderr

Add some tests

2024-06-13 10:41:52 +00:00

call_method_on_inherent_impl.rs

Add some tests

2024-06-13 10:41:52 +00:00

call_method_without_import.no_import.stderr

Add some tests

2024-06-13 10:41:52 +00:00

call_method_without_import.rs

Add some tests

2024-06-13 10:41:52 +00:00

can-return-unconstrained-closure.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

capture-lifetime-not-in-hir.rs

Stabilize impl_trait_projections

2023-09-08 03:45:36 +00:00

capture-lifetime-not-in-hir.stderr

Stabilize impl_trait_projections

2023-09-08 03:45:36 +00:00

closure-calling-parent-fn.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

closure-in-impl-trait-arg.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

closure-in-impl-trait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

coherence-treats-tait-ambig.current.stderr

Manual find replace updates

2023-11-24 21:04:51 +01:00

coherence-treats-tait-ambig.rs

update tests

2023-09-21 08:17:58 +02:00

coherence-treats-tait-ambig.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

cross-return-site-inference.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

cross-return-site-inference.stderr

Deduplicate more sized errors on call exprs

2024-01-24 02:53:15 +00:00

deduce-signature-from-supertrait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

defined-by-trait-resolution.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

defining-use-captured-non-universal-region.infer.stderr

remove test FIXME re once-module-region

2024-03-28 06:41:22 +00:00

defining-use-captured-non-universal-region.rs

remove test FIXME re once-module-region

2024-03-28 06:41:22 +00:00

defining-use-captured-non-universal-region.statik.stderr

remove test FIXME re once-module-region

2024-03-28 06:41:22 +00:00

defining-use-uncaptured-non-universal-region-2.rs

ignore uncaptured lifetimes when checking opaques

2024-03-26 09:26:23 +00:00

defining-use-uncaptured-non-universal-region-3.rs

ignore uncaptured lifetimes when checking opaques

2024-03-26 09:26:23 +00:00

defining-use-uncaptured-non-universal-region.rs

ignore uncaptured lifetimes when checking opaques

2024-03-26 09:26:23 +00:00

deprecated_annotation.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

different_where_bounds.rs

Ensure the canonical_param_env_cache does not contain inconsistent information about the defining anchor

2024-04-08 15:08:06 +00:00

divergence.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

does-not-live-long-enough.rs

…

does-not-live-long-enough.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

dont-suggest-box-on-empty-else-arm.rs

Don't suggest boxing an empty if/else arm

2023-06-11 00:19:56 +00:00

dont-suggest-box-on-empty-else-arm.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

dyn-impl-type-mismatch.rs

Account for expected dyn Trait found impl Trait

2024-01-24 16:57:15 +00:00

dyn-impl-type-mismatch.stderr

Account for expected dyn Trait found impl Trait

2024-01-24 16:57:15 +00:00

dyn-trait-elided-two-inputs-assoc.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

dyn-trait-elided-two-inputs-param.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

dyn-trait-elided-two-inputs-ref-assoc.rs

borrowck: more eagerly prepopulate opaques

2024-05-06 16:04:57 +00:00

dyn-trait-elided-two-inputs-ref-param.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

dyn-trait-return-should-be-impl-trait.rs

…

dyn-trait-return-should-be-impl-trait.stderr

Provide more context on derived obligation error primary label

2024-01-30 21:28:18 +00:00

eagerly-reveal-in-local-body.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

equal-hidden-lifetimes.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

equality2.rs

…

equality2.stderr

…

equality-in-canonical-query.rs

Pass list of defineable opaque types into canonical queries

2024-04-08 15:00:26 +00:00

equality-rpass.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

equality-rpass.stderr

…

equality.rs

Revert "When checking whether an impl applies, constrain hidden types of opaque types."

2024-06-11 08:08:25 +00:00

equality.stderr

Spell out other trait diagnostic

2024-06-12 12:34:47 +00:00

erased-regions-in-hidden-ty.current.stderr

ignore uncaptured lifetimes when checking opaques

2024-03-26 09:26:23 +00:00

erased-regions-in-hidden-ty.next.stderr

ignore uncaptured lifetimes when checking opaques

2024-03-26 09:26:23 +00:00

erased-regions-in-hidden-ty.rs

ignore uncaptured lifetimes when checking opaques

2024-03-26 09:26:23 +00:00

example-calendar.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

example-st.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

example-st.stderr

Update tests

2024-02-07 10:42:01 +08:00

extra-impl-in-trait-impl.fixed

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

extra-impl-in-trait-impl.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

extra-impl-in-trait-impl.stderr

…

extra-item.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

extra-item.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

failed-to-resolve-instance-ice-105488.rs

add test for ice called Option::unwrap() on a None value in collector.rs:934:13 #105488

2024-04-07 00:25:56 +02:00

failed-to-resolve-instance-ice-105488.stderr

add test for ice called Option::unwrap() on a None value in collector.rs:934:13 #105488

2024-04-07 00:25:56 +02:00

failed-to-resolve-instance-ice-123145.rs

add test for ICE: failed to resolve instance for <fn() -> impl ...> #123145

2024-04-07 00:48:47 +02:00

failed-to-resolve-instance-ice-123145.stderr

add test for ICE: failed to resolve instance for <fn() -> impl ...> #123145

2024-04-07 00:48:47 +02:00

fallback_inference.rs

…

fallback_inference.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

fallback.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

feature-self-return-type.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

feature-self-return-type.stderr

Stabilize impl_trait_projections

2023-09-08 03:45:36 +00:00

fresh-lifetime-from-bare-trait-obj-114664.rs

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

fresh-lifetime-from-bare-trait-obj-114664.stderr

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

future-no-bound-vars-ice-112347.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

generic-with-implicit-hrtb-without-dyn.edition2015.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

generic-with-implicit-hrtb-without-dyn.edition2021.stderr

Avoid silencing relevant follow-up errors

2024-01-09 21:08:16 +00:00

generic-with-implicit-hrtb-without-dyn.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

hidden-lifetimes.rs

…

hidden-lifetimes.stderr

…

hidden-type-is-opaque-2.default.stderr

test that fudging with opaque types is the same in the new solver

2024-02-28 09:54:44 +00:00

hidden-type-is-opaque-2.next.stderr

test that fudging with opaque types is the same in the new solver

2024-02-28 09:54:44 +00:00

hidden-type-is-opaque-2.rs

test that fudging with opaque types is the same in the new solver

2024-02-28 09:54:44 +00:00

hidden-type-is-opaque.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

ice-unexpected-param-type-whensubstituting-in-region-112823.rs

add test for https://github.com/rust-lang/rust/issues/112823

2024-03-22 08:27:14 +01:00

ice-unexpected-param-type-whensubstituting-in-region-112823.stderr

add test for https://github.com/rust-lang/rust/issues/112823

2024-03-22 08:27:14 +01:00

impl_fn_associativity.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

impl_trait_projections.rs

Avoid silencing relevant follow-up errors

2024-01-09 21:08:16 +00:00

impl_trait_projections.stderr

Use TraitRef::to_string sorting in favor of TraitRef::ord, as the latter compares DefIds which we need to avoid

2024-03-27 14:02:15 +00:00

impl-fn-hrtb-bounds-2.rs

…

impl-fn-hrtb-bounds-2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

impl-fn-hrtb-bounds.rs

make type_flags(ReError) & HAS_ERROR

2024-03-20 17:29:58 +00:00

impl-fn-hrtb-bounds.stderr

make type_flags(ReError) & HAS_ERROR

2024-03-20 17:29:58 +00:00

impl-fn-parsing-ambiguities.rs

make type_flags(ReError) & HAS_ERROR

2024-03-20 17:29:58 +00:00

impl-fn-parsing-ambiguities.stderr

make type_flags(ReError) & HAS_ERROR

2024-03-20 17:29:58 +00:00

impl-fn-predefined-lifetimes.rs

check RPITs for invalid args

2024-03-28 06:00:26 +00:00

impl-fn-predefined-lifetimes.stderr

check RPITs for invalid args

2024-03-28 06:00:26 +00:00

impl-generic-mismatch-ab.rs

…

impl-generic-mismatch-ab.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

impl-generic-mismatch.rs

…

impl-generic-mismatch.stderr

…

impl-subtyper2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

impl-subtyper.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

impl-trait-in-macro.rs

…

impl-trait-in-macro.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

impl-trait-plus-priority.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

impl-trait-plus-priority.stderr

…

implicit-capture-late.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

implicit-capture-late.stderr

Improve error message for opaque captures

2024-03-08 19:08:13 +00:00

in-assoc-type-unconstrained.rs

…

in-assoc-type-unconstrained.stderr

Point to argument/return type instead of the whole function header

2023-06-22 15:00:12 +00:00

in-assoc-type.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

in-assoc-type.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-35668.rs

…

issue-35668.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-36792.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-46959.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-49556.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-49579.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-49685.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-51185.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-54966.rs

…

issue-54966.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-55872-1.rs

…

issue-55872-1.stderr

Provide more context on derived obligation error primary label

2024-01-30 21:28:18 +00:00

issue-55872-2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-55872-2.stderr

Add a note to duplicate diagnostics

2023-10-05 01:04:41 +00:00

issue-55872-3.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-55872-3.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-55872.rs

…

issue-55872.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-56445.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-68532.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-72911.rs

Keep error types around, even in obligations.

2024-01-11 09:52:25 +00:00

issue-72911.stderr

Keep error types around, even in obligations.

2024-01-11 09:52:25 +00:00

issue-87450.rs

…

issue-87450.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-99073-2.rs

check for non-defining uses of RPIT

2023-08-14 15:25:20 +02:00

issue-99073-2.stderr

check for non-defining uses of RPIT

2023-08-14 15:25:20 +02:00

issue-99073.rs

check for non-defining uses of RPIT

2023-08-14 15:25:20 +02:00

issue-99073.stderr

adjust how closure/generator types and rvalues are printed

2023-09-21 22:20:58 +02:00

issue-99642-2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-99642.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-99914.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-99914.stderr

Inline get_node_fn_decl into get_fn_decl, simplify/explain logic in report_return_mismatched_types

2024-05-20 20:16:29 -04:00

issue-100075-2.rs

…

issue-100075-2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-100075.rs

…

issue-100075.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-100187.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-102605.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-102605.stderr

Check entry type as part of item type checking.

2023-07-15 22:02:16 +00:00

issue-103181-1.current.stderr

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

issue-103181-1.next.stderr

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

issue-103181-1.rs

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

issue-103181-2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-103181-2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-103599.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-103599.stderr

…

issue-108591.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-108592.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

lazy_subtyping_of_opaques.rs

Allow constraining opaque types during subtyping in the trait system

2024-06-19 08:29:17 +00:00

lifetime-ambiguity-regression.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

lifetimes2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

lifetimes.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

mapping-duplicated-lifetimes-issue-114597.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

method-resolution2.next.stderr

Add some tests

2024-06-13 10:41:52 +00:00

method-resolution2.rs

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

method-resolution3.current.stderr

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

method-resolution3.next.stderr

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

method-resolution3.rs

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

method-resolution4.next.stderr

Add some tests

2024-06-13 10:41:52 +00:00

method-resolution4.rs

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

method-resolution.rs

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

method-suggestion-no-duplication.rs

…

method-suggestion-no-duplication.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

multiple-defining-usages-in-body.rs

…

multiple-defining-usages-in-body.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

must_outlive_least_region_or_bound.rs

Continue to borrowck even if there were previous errors

2024-02-08 08:10:43 +00:00

must_outlive_least_region_or_bound.stderr

Continue to borrowck even if there were previous errors

2024-02-08 08:10:43 +00:00

needs_least_region_or_bound.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

negative-reasoning.rs

…

negative-reasoning.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

nested_impl_trait.rs

amend to Switch can_eq and can_sub to DefineOpaqueTypes::Yes

2024-04-04 14:53:31 +00:00

nested_impl_trait.stderr

Rebase fallout

2024-06-12 21:17:33 -04:00

nested-hkl-lifetime.rs

Add regression test

2024-04-08 15:00:03 +00:00

nested-return-type2-tait2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type2-tait2.stderr

Remove DefiningAnchor::Bubble from opaque wf check

2023-10-16 15:50:31 +00:00

nested-return-type2-tait3.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type2-tait3.stderr

Remove DefiningAnchor::Bubble from opaque wf check

2023-10-16 15:50:31 +00:00

nested-return-type2-tait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type2-tait.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

nested-return-type2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type3-tait2.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type3-tait2.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

nested-return-type3-tait3.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type3-tait3.stderr

…

nested-return-type3-tait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type3-tait.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

nested-return-type3.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type4.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-return-type4.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

nested-return-type.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nested-rpit-hrtb-2.rs

don't ICE on higher ranked hidden types

2023-08-04 15:11:09 +00:00

nested-rpit-hrtb-2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

nested-rpit-hrtb.rs

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

nested-rpit-hrtb.stderr

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

nested-rpit-with-anonymous-lifetimes.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

nesting.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

no-method-suggested-traits.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

no-method-suggested-traits.stderr

Sort a diagnostic by DefPathStr instead of DefId

2024-03-27 14:02:16 +00:00

no-trait.rs

…

no-trait.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

normalize-opaque-with-bound-vars.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

normalize-tait-in-const.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

normalize-tait-in-const.stderr

bless tests

2024-06-21 11:57:24 +00:00

not_general_enough_regression_106630.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

object-unsafe-trait-in-return-position-dyn-trait.rs

Continue compilation after check_mod_type_wf errors

2024-02-14 11:00:30 +00:00

object-unsafe-trait-in-return-position-dyn-trait.stderr

Continue compilation after check_mod_type_wf errors

2024-02-14 11:00:30 +00:00

object-unsafe-trait-in-return-position-impl-trait.rs

…

object-unsafe-trait-in-return-position-impl-trait.stderr

…

opaque-cast-field-access-in-future.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

opaque-cast-field-access-in-future.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

opaque-used-in-extraneous-argument.rs

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

opaque-used-in-extraneous-argument.stderr

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

point-to-type-err-cause-on-impl-trait-return.rs

…

point-to-type-err-cause-on-impl-trait-return.stderr

…

printing-binder.rs

…

printing-binder.stderr

…

private_unused.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

projection-mismatch-in-impl-where-clause.rs

…

projection-mismatch-in-impl-where-clause.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

projection.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

question_mark.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

recursive-auto-trait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

recursive-bound-eval.next.stderr

Also test under next solver

2024-06-11 08:19:19 +00:00

recursive-bound-eval.rs

Also test under next solver

2024-06-11 08:19:19 +00:00

recursive-coroutine-boxed.next.stderr

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-coroutine-boxed.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-coroutine-indirect.current.stderr

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-coroutine-indirect.next.stderr

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-coroutine-indirect.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-ice-101862.rs

add test for opaque type with non-universal region substs #101852

2024-03-23 12:01:39 +01:00

recursive-ice-101862.stderr

add test for opaque type with non-universal region substs #101852

2024-03-23 12:01:39 +01:00

recursive-impl-trait-type-direct.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

recursive-impl-trait-type-indirect.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-impl-trait-type-indirect.stderr

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

recursive-impl-trait-type-through-non-recursive.rs

…

recursive-impl-trait-type-through-non-recursive.stderr

…

recursive-parent-trait-method-call.rs

Add some tests

2024-06-13 10:41:52 +00:00

recursive-type-alias-impl-trait-declaration-too-subtle-2.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

recursive-type-alias-impl-trait-declaration-too-subtle.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

recursive-type-alias-impl-trait-declaration-too-subtle.stderr

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

recursive-type-alias-impl-trait-declaration.rs

Revert "When checking whether an impl applies, constrain hidden types of opaque types."

2024-06-11 08:08:25 +00:00

recursive-type-alias-impl-trait-declaration.stderr

Revert "When checking whether an impl applies, constrain hidden types of opaque types."

2024-06-11 08:08:25 +00:00

region-escape-via-bound-contravariant-closure.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

region-escape-via-bound-contravariant.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

region-escape-via-bound.rs

…

region-escape-via-bound.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

return-position-impl-trait-minimal.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

reveal-during-codegen.rs

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

rpit-assoc-pair-with-lifetime.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

rpit-not-sized.rs

…

rpit-not-sized.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

stashed-diag-issue-121504.rs

Overhaul how stashed diagnostics work, again.

2024-02-29 11:08:27 +11:00

stashed-diag-issue-121504.stderr

Overhaul how stashed diagnostics work, again.

2024-02-29 11:08:27 +11:00

static-lifetime-return-position-impl-trait.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

static-return-lifetime-infered.rs

…

static-return-lifetime-infered.stderr

adjust how closure/generator types and rvalues are printed

2023-09-21 22:20:58 +02:00

stranded-opaque.rs

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

stranded-opaque.stderr

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

suggest-calling-rpit-closure.rs

…

suggest-calling-rpit-closure.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

trait_resolution.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

trait_type.rs

…

trait_type.stderr

…

trait_upcasting_reference_mismatch.rs

Allow constraining opaque types during auto trait casting

2024-06-19 08:28:31 +00:00

trait_upcasting_reference_mismatch.stderr

Allow constraining opaque types during auto trait casting

2024-06-19 08:28:31 +00:00

trait_upcasting.rs

Allow constraining opaque types during auto trait casting

2024-06-19 08:28:31 +00:00

two_tait_defining_each_other2.current.stderr

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

two_tait_defining_each_other2.next.stderr

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

two_tait_defining_each_other2.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

two_tait_defining_each_other3.current.stderr

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

two_tait_defining_each_other3.rs

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

two_tait_defining_each_other.current.stderr

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

two_tait_defining_each_other.rs

Ignore tests w/ current/next revisions from compare-mode=next-solver

2024-03-10 21:18:41 -04:00

type_parameters_captured.rs

…

type_parameters_captured.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

type-alias-generic-param.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

type-alias-generic-param.stderr

Update tests

2024-02-07 10:42:01 +08:00

type-alias-impl-trait-in-fn-body.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

type-alias-impl-trait-in-fn-body.stderr

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

type-arg-mismatch-due-to-impl-trait.rs

…

type-arg-mismatch-due-to-impl-trait.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

unactionable_diagnostic.fixed

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

unactionable_diagnostic.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

unactionable_diagnostic.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

universal_hrtb_anon.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

universal_hrtb_named.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

universal_in_adt_in_parameters.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

universal_in_impl_trait_in_parameters.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

universal_in_trait_defn_parameters.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

universal_multiple_bounds.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

universal_wrong_bounds.rs

…

universal_wrong_bounds.stderr

…

universal_wrong_hrtb.rs

migrate lifetime too

2023-06-26 19:14:49 +00:00

universal_wrong_hrtb.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

universal-mismatched-type.rs

…

universal-mismatched-type.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

universal-two-impl-traits.rs

…

universal-two-impl-traits.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

unsafety-checking-cycle.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

unsize_adt.rs

Allow constraining opaque types during unsizing

2024-06-19 08:28:31 +00:00

unsize_slice.rs

Allow constraining opaque types during unsizing

2024-06-19 08:28:31 +00:00

unsize_tuple.rs

Allow constraining opaque types during unsizing

2024-06-19 08:28:31 +00:00

unsized_coercion2.old.stderr

Add more tests

2024-06-19 08:28:31 +00:00

unsized_coercion2.rs

Add more tests

2024-06-19 08:28:31 +00:00

unsized_coercion3.next.stderr

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion3.old.stderr

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion3.rs

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion4.rs

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion5.next.stderr

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion5.old.stderr

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion5.rs

More tests

2024-06-19 08:40:29 +00:00

unsized_coercion.next.stderr

Add more tests

2024-06-19 08:28:31 +00:00

unsized_coercion.rs

Add more tests

2024-06-19 08:28:31 +00:00

upvar_captures.rs

Taint infcx when reporting errors

2024-06-19 04:41:56 +00:00

upvar_captures.stderr

Taint infcx when reporting errors

2024-06-19 04:41:56 +00:00

variance.e2024.stderr

Enable new capture rules by default on edition 2024

2023-12-05 19:53:59 +00:00

variance.new.stderr

Enable new capture rules by default on edition 2024

2023-12-05 19:53:59 +00:00

variance.old.stderr

Enable new capture rules by default on edition 2024

2023-12-05 19:53:59 +00:00

variance.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

wf-check-hidden-type.rs

when defining opaques, require the hidden type to be well-formed

2024-02-27 15:57:49 +01:00

wf-check-hidden-type.stderr

when defining opaques, require the hidden type to be well-formed

2024-02-27 15:57:49 +01:00

wf-eval-order.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

where-allowed-2.rs

…

where-allowed-2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

where-allowed.rs

return ty::Error when equating ty::Error

2024-02-19 23:54:49 +00:00

where-allowed.stderr

Merge collect_mod_item_types query into check_well_formed

2024-03-07 14:26:31 +00:00

xcrate_simple.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

xcrate.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00