bors 1b3a32958b Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errors ...

`obligations_for_self_ty`: use `ProofTreeVisitor` for nested goals

As always, dealing with proof trees continues to be a hacked together mess. After this PR and #124380 the only remaining blocker for core is https://github.com/rust-lang/trait-system-refactor-initiative/issues/90. There is also a `ProofTreeVisitor` issue causing an ICE when compiling `alloc` which I will handle in a separate PR. This issue likely affects coherence diagnostics more generally.

The core idea is to extend the proof tree visitor to support visiting nested candidates without using a `probe`. We then simply recurse into nested candidates if they are the only potentially applicable candidate for a given goal and check whether the self type matches the expected one.

For that to work, we need to improve `CanonicalState` to also handle unconstrained inference variables created inside of the trait solver. This is done by extending the `var_values` of `CanoncalState` with each fresh inference variables. Furthermore, we also store the state of all inference variables at the end of each probe. When recursing into `InspectCandidates` we then unify the values of all these states.

r? `@compiler-errors`

2024-04-26 15:37:05 +00:00

..

alias

Use fulfillment, not evaluate, during method probe

2024-04-21 20:10:12 -04:00

associated_type_bound

Bless test fallout (duplicate diagnostics)

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

auxiliary

Add some tests around where bounds on associated items and their lack of effect on impls

2023-06-26 09:56:28 +00:00

bound

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

default-method

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

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

inductive-overflow

Use root obligation on E0277 for some cases

2024-03-03 18:53:35 +00:00

inheritance

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

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

negative-bounds

Stabilize associated type bounds

2024-03-08 20:56:25 +00:00

negative-impls

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

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

next-solver

Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errors

2024-04-26 15:37:05 +00:00

non_lifetime_binders

Consolidate WF for aliases

2024-03-14 12:17:00 -04:00

object

regression test for #103626

2024-03-23 17:48:57 +01:00

reservation-impl

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

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

solver-cycles

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

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

suggest-dereferences

Use root obligation on E0277 for some cases

2024-03-03 18:53:35 +00:00

trait-upcasting

Switch upcast projections to allowing opaque types and add a test showing it works.

2024-04-04 14:25:50 +00:00

vtable

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

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

wf-object

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

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

alignment-gep-tup-like-1.rs

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

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

anon_trait_static_method_exe.rs

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

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

anon-static-method.rs

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

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

as-struct-constructor.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

as-struct-constructor.stderr

Show number in error message even for one error

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

assignability-trait.rs

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

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

assoc-type-in-superbad.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

assoc-type-in-superbad.stderr

Show number in error message even for one error

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

assoc-type-in-supertrait.rs

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

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

astconv-cycle-between-and-type.rs

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

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

augmented-assignments-trait.rs

Detect unused struct impls pub trait

2024-03-10 23:30:53 +08:00

bad-method-typaram-kind.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

bad-method-typaram-kind.stderr

Show number in error message even for one error

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

bad-sized.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

bad-sized.stderr

On E0277 be clearer about implicit Sized bounds on type params and assoc types

2024-02-01 03:30:26 +00:00

bug-7183-generics.rs

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

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

bug-7295.rs

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

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

cache-issue-18209.rs

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

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

cache-reached-depth-ice.rs

update tests

2023-06-19 15:39:55 +02:00

cache-reached-depth-ice.stderr

Show number in error message even for one error

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

coercion-generic-bad.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coercion-generic-bad.stderr

Show number in error message even for one error

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

coercion-generic-regions.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coercion-generic-regions.stderr

Show number in error message even for one error

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

coercion-generic.rs

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

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

coercion.rs

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

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

composition-trivial.rs

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

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

conditional-dispatch.rs

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

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

conditional-model-fn.rs

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

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

conservative_impl_trait.rs

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

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

copy-guessing.rs

Use fn ptr signature instead of {closure@..} in infer error

2024-04-10 00:41:27 +00:00

copy-guessing.stderr

Use fn ptr signature instead of {closure@..} in infer error

2024-04-10 00:41:27 +00:00

copy-impl-cannot-normalize.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

copy-impl-cannot-normalize.stderr

Provide more context on derived obligation error primary label

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

copy-is-not-modulo-regions.not_static.stderr

Show number in error message even for one error

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

copy-is-not-modulo-regions.rs

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

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

copy-requires-self-wf.rs

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

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

cycle-cache-err-60010.rs

Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics

2024-01-02 14:17:56 +00:00

cycle-cache-err-60010.stderr

Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics

2024-01-02 14:17:56 +00:00

cycle-generic-bound.rs

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

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

cycle-type-trait.rs

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

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

deny-builtin-object-impl.current.stderr

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

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

deny-builtin-object-impl.next.stderr

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

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

deny-builtin-object-impl.rs

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

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

do-not-mention-type-params-by-name-in-suggestion-issue-96292.rs

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

do-not-mention-type-params-by-name-in-suggestion-issue-96292.stderr

Show number in error message even for one error

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

dont-autoderef-ty-with-escaping-var.rs

Use erased self type when autoderefing for trait error suggestion

2023-07-23 14:13:52 -04:00

dont-autoderef-ty-with-escaping-var.stderr

Provide more context on derived obligation error primary label

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

dont-match-error-ty-with-calller-supplied-obligation-issue-121941.rs

Don't Create ParamCandidate When Obligation Contains Errors

2024-03-12 15:27:08 -04:00

dont-match-error-ty-with-calller-supplied-obligation-issue-121941.stderr

Don't Create ParamCandidate When Obligation Contains Errors

2024-03-12 15:27:08 -04:00

duplicate-methods.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

duplicate-methods.stderr

Show number in error message even for one error

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

dyn-trait.rs

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

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

early-vtbl-resolution.rs

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

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

elaborate-type-region.rs

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

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

false-ambiguity-where-clause-builtin-bound.rs

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

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

fmt-pointer-trait.rs

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

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

fn-trait-cast-diagnostic.rs

Add note when FnPtr vs. FnDef impl trait

2023-01-14 10:37:56 +00:00

fn-trait-cast-diagnostic.stderr

Add note when FnPtr vs. FnDef impl trait

2023-01-14 10:37:56 +00:00

generic.rs

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

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

ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.rs

add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls

2024-03-24 10:57:20 +01:00

ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.stderr

add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls

2024-03-24 10:57:20 +01:00

ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.rs

add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls

2024-03-24 10:57:20 +01:00

ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.stderr

add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls

2024-03-24 10:57:20 +01:00

ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.rs

add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls

2024-03-24 10:57:20 +01:00

ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.stderr

add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls

2024-03-24 10:57:20 +01:00

ice-with-dyn-pointee-errors.rs

Add passing & failing test for bultin dyn trait generation

2023-06-27 17:52:26 +09:30

ice-with-dyn-pointee-errors.stderr

Show number in error message even for one error

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

ice-with-dyn-pointee.rs

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

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

ignore-err-impls.rs

Filter impl and where-clause candidates that reference errors

2023-01-11 20:03:29 +00:00

ignore-err-impls.stderr

Show number in error message even for one error

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

impl_trait_as_trait_return_position.rs

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

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

impl-1.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-1.stderr

Show number in error message even for one error

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

impl-2.rs

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

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

impl-bounds-checking.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-bounds-checking.stderr

Show number in error message even for one error

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

impl-can-not-have-untraitful-items.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-can-not-have-untraitful-items.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-different-num-params.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-different-num-params.stderr

Show number in error message even for one error

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

impl-evaluation-order.rs

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

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

impl-for-module.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-for-module.stderr

Show number in error message even for one error

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

impl-implicit-trait.rs

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

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

impl-inherent-prefer-over-trait.rs

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

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

impl-inherent-prefer-over-trait.stderr

Update tests

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

impl-method-mismatch.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-method-mismatch.stderr

recurse into refs when comparing tys for diagnostics

2023-12-07 23:00:46 -05:00

impl-object-overlap-issue-23853.rs

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

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

impl-object-overlap-issue-23853.stderr

Update tests

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

impl-of-supertrait-has-wrong-lifetime-parameters.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-of-supertrait-has-wrong-lifetime-parameters.stderr

Stop sorting via DefIds in region resolution

2024-03-21 16:36:17 +00:00

impl.rs

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

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

impl.stderr

Update tests

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

infer-from-object-issue-26952.rs

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

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

inherent-method-order.rs

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

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

issue-2611-3.rs

Move tests

2024-04-07 17:38:07 -03:00

issue-3683.rs

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

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

issue-3973.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-3973.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-3979-generics.rs

Move tests

2024-03-03 16:30:48 -03:00

issue-4107.rs

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

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

issue-5008-borrowed-traitobject-method-call.rs

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

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

issue-6128.rs

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

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

issue-6128.stderr

Update tests

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

issue-6334.rs

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

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

issue-7013.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-7013.stderr

Provide more context on derived obligation error primary label

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

issue-8153.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-8153.stderr

Show number in error message even for one error

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

issue-9394-inherited-calls.rs

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

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

issue-15155.rs

Move tests

2024-03-03 16:30:48 -03:00

issue-18400.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-18400.stderr

Show number in error message even for one error

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

issue-18412.rs

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

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

issue-20692.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-20692.stderr

Note base types of coercion

2023-05-12 00:10:52 +00:00

issue-21837.rs

Move tests

2024-03-03 16:30:48 -03:00

issue-21837.stderr

Move tests

2024-03-03 16:30:48 -03:00

issue-22019.rs

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

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

issue-22110.rs

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

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

issue-22384.rs

Move test files

2023-04-20 15:06:17 -03:00

issue-22384.stderr

Show number in error message even for one error

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

issue-22655.rs

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

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

issue-23003-overflow.rs

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

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

issue-23003.rs

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

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

issue-23825.rs

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

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

issue-24010.rs

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

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

issue-26339.rs

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

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

issue-28576.rs

Avoid silencing relevant follow-up errors

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

issue-28576.stderr

Merge collect_mod_item_types query into check_well_formed

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

issue-32963.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-32963.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-33096.rs

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

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

issue-33140-hack-boundaries.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-33140-hack-boundaries.stderr

Do not point at #[allow(_)] as the reason for compat lint triggering

2024-02-13 20:27:43 +00:00

issue-33140.rs

Continue compilation even if inherent impl checks fail

2024-02-14 21:04:51 +00:00

issue-33140.stderr

Continue compilation even if inherent impl checks fail

2024-02-14 21:04:51 +00:00

issue-33187.rs

Detect unused struct impls pub trait

2024-03-10 23:30:53 +08:00

issue-35869.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-35869.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-38033.rs

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

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

issue-38033.stderr

Update tests

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

issue-38404.rs

Avoid silencing relevant follow-up errors

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

issue-38404.stderr

Avoid silencing relevant follow-up errors

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

issue-38604.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-38604.stderr

On object safety error, mention new enum as alternative

2023-10-29 23:55:46 +00:00

issue-40085.rs

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

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

issue-43132.rs

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

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

issue-43784-supertrait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-43784-supertrait.stderr

Provide more context on derived obligation error primary label

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

issue-50480.rs

Continue compilation after check_mod_type_wf errors

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

issue-50480.stderr

Merge check_mod_impl_wf and check_mod_type_wf

2024-03-07 06:27:09 +00:00

issue-52893.rs

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

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

issue-52893.stderr

Show number in error message even for one error

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

issue-56202.rs

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

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

issue-56488.rs

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

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

issue-58344.rs

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

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

issue-59029-1.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-59029-1.stderr

Tweak wording

2023-10-13 19:18:46 +00:00

issue-59029-2.rs

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

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

issue-65284-suggest-generic-trait-bound.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-65284-suggest-generic-trait-bound.stderr

Show number in error message even for one error

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

issue-65673.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-65673.stderr

Show number in error message even for one error

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

issue-66768.rs

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

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

issue-68295.rs

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

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

issue-68295.stderr

Show number in error message even for one error

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

issue-70944.rs

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

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

issue-71036.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-71036.stderr

Provide more context on derived obligation error primary label

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

issue-71136.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-71136.stderr

Provide more context on derived obligation error primary label

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

issue-72410.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-72410.stderr

Show number in error message even for one error

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

issue-72455.rs

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

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

issue-75627.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-75627.stderr

Show number in error message even for one error

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

issue-77982.rs

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

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

issue-77982.stderr

Use fn ptr signature instead of {closure@..} in infer error

2024-04-10 00:41:27 +00:00

issue-78372.rs

Stop bailing out from compilation just because there were incoherent traits

2024-02-05 10:17:31 +00:00

issue-78372.stderr

Stop bailing out from compilation just because there were incoherent traits

2024-02-05 10:17:31 +00:00

issue-78632.rs

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

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

issue-79458.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-79458.stderr

Show number in error message even for one error

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

issue-82830.rs

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

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

issue-83538-tainted-cache-after-cycle.rs

update tests

2023-06-19 15:39:55 +02:00

issue-83538-tainted-cache-after-cycle.stderr

update tests

2023-06-19 15:39:55 +02:00

issue-84399-bad-fresh-caching.rs

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

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

issue-85360-eval-obligation-ice.rs

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

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

issue-85360-eval-obligation-ice.stderr

On E0277 be clearer about implicit Sized bounds on type params and assoc types

2024-02-01 03:30:26 +00:00

issue-85735.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-85735.stderr

Add print_trait_sugared

2023-12-05 17:15:46 +00:00

issue-87558.rs

Avoid silencing relevant follow-up errors

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

issue-87558.stderr

Avoid silencing relevant follow-up errors

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

issue-89119.rs

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

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

issue-90195-2.rs

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

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

issue-90195.rs

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

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

issue-90662-projection-caching.rs

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

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

issue-91594.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-91594.stderr

Provide more context on derived obligation error primary label

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

issue-91949-hangs-on-recursion.rs

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

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

issue-91949-hangs-on-recursion.stderr

Show number in error message even for one error

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

issue-92292.rs

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

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

issue-95311.rs

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

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

issue-95898.rs

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

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

issue-95898.stderr

Show number in error message even for one error

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

issue-96664.rs

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

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

issue-96665.rs

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

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

issue-97576.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-97576.stderr

Provide more context on derived obligation error primary label

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

issue-97695-double-trivial-bound.rs

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

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

issue-99875.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-99875.stderr

adjust how closure/generator types and rvalues are printed

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

issue-103563.rs

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

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

issue-104322.rs

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

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

issue-105231.rs

Merge check_mod_impl_wf and check_mod_type_wf

2024-03-07 06:27:09 +00:00

issue-105231.stderr

Merge check_mod_impl_wf and check_mod_type_wf

2024-03-07 06:27:09 +00:00

issue-106072.rs

Continue compilation after check_mod_type_wf errors

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

issue-106072.stderr

Continue compilation after check_mod_type_wf errors

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

issue-117794.rs

skip rpit constraint check if borrowck return type error

2023-12-17 16:49:00 +08:00

issue-117794.stderr

Consider methods from traits when suggesting typos

2024-02-22 18:04:55 +00:00

item-inside-macro.rs

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

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

item-privacy.rs

diagnostics: update test cases to refer to assoc fn with self as method

2023-02-22 08:40:47 -07:00

item-privacy.stderr

Deduplicate some logic and reword output

2024-02-22 18:05:28 +00:00

kindck-owned-contains-1.rs

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

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

make-sure-to-filter-projections-by-def-id.rs

Check def id before calling match_projection_projections

2024-04-04 16:01:13 -04:00

map-types.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

map-types.stderr

Show number in error message even for one error

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

matching-lifetimes.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

matching-lifetimes.stderr

Stop sorting via DefIds in region resolution

2024-03-21 16:36:17 +00:00

method-argument-mismatch-variance-ice-119867.rs

Taint _ placeholder types

2024-01-12 16:33:29 +00:00

method-argument-mismatch-variance-ice-119867.stderr

Taint _ placeholder types

2024-01-12 16:33:29 +00:00

method-on-unbounded-type-param.rs

Add test for method on unbounded type parameter receiver

2024-01-30 19:07:18 +00:00

method-on-unbounded-type-param.stderr

Restore error messaging

2024-04-21 20:10:12 -04:00

method-private.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

method-private.stderr

Tweak wording of "implemented trait isn't imported" suggestion

2024-02-22 18:05:27 +00:00

monad.rs

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

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

monomorphized-callees-with-ty-params-3314.rs

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

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

multidispatch1.rs

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

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

multidispatch2.rs

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

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

multidispatch-bad.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

multidispatch-bad.stderr

Show number in error message even for one error

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

multidispatch-conditional-impl-not-considered.rs

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

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

multidispatch-conditional-impl-not-considered.stderr

Update tests

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

multidispatch-convert-ambig-dest.rs

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

multidispatch-convert-ambig-dest.stderr

Show number in error message even for one error

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

multidispatch-infer-convert-target.rs

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

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

multidispatch-infer-convert-target.stderr

Update tests

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

mutual-recursion-issue-75860.rs

Check closure args and returns are WF

2024-04-25 10:03:17 -04:00

mutual-recursion-issue-75860.stderr

Check closure args and returns are WF

2024-04-25 10:03:17 -04:00

no_send-struct.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

no_send-struct.stderr

Show number in error message even for one error

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

no-fallback-multiple-impls.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

no-fallback-multiple-impls.stderr

Show number in error message even for one error

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

non-lifetime-via-dyn-builtin.current.stderr

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

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

non-lifetime-via-dyn-builtin.next.stderr

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

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

non-lifetime-via-dyn-builtin.rs

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

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

normalize-conflicting-impls.rs

Fix an ICE in the recursion lint

2024-02-16 09:29:39 +00:00

normalize-conflicting-impls.stderr

Fix an ICE in the recursion lint

2024-02-16 09:29:39 +00:00

normalize-supertrait.rs

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

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

not-suggest-non-existing-fully-qualified-path.rs

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

not-suggest-non-existing-fully-qualified-path.stderr

Show number in error message even for one error

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

object-does-not-impl-trait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

object-does-not-impl-trait.stderr

Show number in error message even for one error

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

object-one-type-two-traits.rs

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

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

objects-owned-object-borrowed-method-headerless.rs

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

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

on_unimplemented_long_types.rs

Display short types for unimplemented trait

2024-02-28 14:13:42 +00:00

on_unimplemented_long_types.stderr

Avoid silently writing to a file when the involved ty is long

2024-03-01 19:02:34 +00:00

operator-overloading-issue-52025.rs

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

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

overflow-computing-ambiguity.rs

Discard overflow obligations in impl_may_apply

2024-04-07 23:21:45 -04:00

overflow-computing-ambiguity.stderr

Discard overflow obligations in impl_may_apply

2024-04-07 23:21:45 -04:00

overlap-not-permitted-for-builtin-trait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

overlap-not-permitted-for-builtin-trait.stderr

Show number in error message even for one error

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

overlap-permitted-for-marker-traits.rs

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

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

param-without-lifetime-constraint.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

param-without-lifetime-constraint.stderr

Show number in error message even for one error

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

parameterized-with-bounds.rs

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

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

pointee-deduction.rs

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

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

pointee-normalize-equate.rs

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

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

pointee-tail-is-generic-errors.rs

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

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

pointee-tail-is-generic-errors.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

pointee-tail-is-generic.rs

Mark some next-solver-behavior tests explicitly with revisions

2024-03-10 23:23:46 -04:00

pred-known-to-hold-modulo-regions-unsized-tail.rs

add non-regression test for issue 123275

2024-04-06 23:25:58 +00:00

principal-less-objects.rs

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

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

privacy.rs

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

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

project-modulo-regions.rs

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

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

project-modulo-regions.with_clause.stderr

Show number in error message even for one error

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

project-modulo-regions.without_clause.stderr

Show number in error message even for one error

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

question-mark-result-err-mismatch.rs

Reduce verbosity of error

2023-12-05 22:24:33 +00:00

question-mark-result-err-mismatch.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

region-pointer-simple.rs

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

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

resolution-in-overloaded-op.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

resolution-in-overloaded-op.stderr

Show number in error message even for one error

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

safety-fn-body.rs

Remove revisions for THIR unsafeck

2024-01-05 09:30:27 +00:00

safety-fn-body.stderr

Stabilize THIR unsafeck

2024-01-05 10:00:59 +00:00

safety-inherent-impl.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

safety-inherent-impl.stderr

Show number in error message even for one error

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

safety-ok-cc.rs

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

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

safety-ok.rs

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

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

safety-trait-impl-cc.rs

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

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

safety-trait-impl-cc.stderr

Show number in error message even for one error

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

safety-trait-impl.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

safety-trait-impl.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

self-without-lifetime-constraint.rs

Continue to borrowck even if there were previous errors

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

self-without-lifetime-constraint.stderr

Continue to borrowck even if there were previous errors

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

span-bug-issue-121414.rs

make type_flags(ReError) & HAS_ERROR

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

span-bug-issue-121414.stderr

make type_flags(ReError) & HAS_ERROR

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

stack-error-order-dependence-2.rs

Add regression tests for 123303

2024-03-31 21:03:59 -04:00

stack-error-order-dependence.rs

Add regression tests for 123303

2024-03-31 21:03:59 -04:00

static-method-generic-inference.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

static-method-generic-inference.stderr

Deduplicate more sized errors on call exprs

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

static-method-overwriting.rs

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

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

static-outlives-a-where-clause.rs

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

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

staticness-mismatch.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

staticness-mismatch.stderr

Show number in error message even for one error

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

subtype-recursion-limit.rs

change error messages to be incorrect, but more helpful

2024-02-22 18:18:33 +01:00

subtype-recursion-limit.stderr

change error messages to be incorrect, but more helpful

2024-02-22 18:18:33 +01:00

suggest-fully-qualified-closure.rs

Replace closures with _ when suggesting fully qualified path for method call

2024-03-21 00:07:44 +00:00

suggest-fully-qualified-closure.stderr

Replace closures with _ when suggesting fully qualified path for method call

2024-03-21 00:07:44 +00:00

suggest-fully-qualified-path-with-adjustment.rs

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

suggest-fully-qualified-path-with-adjustment.stderr

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

suggest-fully-qualified-path-without-adjustment.rs

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

suggest-fully-qualified-path-without-adjustment.stderr

Reorder fullfillment errors to keep more interesting ones first

2023-10-04 02:04:14 +00:00

suggest-where-clause.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

suggest-where-clause.stderr

On E0277 be clearer about implicit Sized bounds on type params and assoc types

2024-02-01 03:30:26 +00:00

superdefault-generics.rs

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

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

syntax-polarity.rs

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

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

syntax-trait-polarity.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

syntax-trait-polarity.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

test-2.rs

diagnostics: remove inconsistent English article "this" from E0107

2023-02-23 10:27:06 -07:00

test-2.stderr

On object safety error, mention new enum as alternative

2023-10-29 23:55:46 +00:00

test.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

test.stderr

Show number in error message even for one error

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

to-str.rs

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

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

track-obligations.rs

Add tests

2023-01-13 18:20:24 +00:00

track-obligations.stderr

Use fulfillment, not evaluate, during method probe

2024-04-21 20:10:12 -04:00

trait-object-lifetime-default-note.rs

Note about object lifetime defaults in does not live long enough error

2023-11-12 13:51:16 +01:00

trait-object-lifetime-default-note.stderr

Show number in error message even for one error

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

trait-or-new-type-instead.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

trait-or-new-type-instead.stderr

Show number in error message even for one error

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

trait-selection-ice-84727.rs

add test for ICE Where clause Binder(..) was applicable to Obligation(..) but now is not

2024-03-25 20:20:01 +01:00

trait-selection-ice-84727.stderr

add test for ICE Where clause Binder(..) was applicable to Obligation(..) but now is not

2024-03-25 20:20:01 +01:00

trivial_impl2.rs

Add some tests around where bounds on associated items and their lack of effect on impls

2023-06-26 09:56:28 +00:00

trivial_impl2.stderr

Show number in error message even for one error

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

trivial_impl3.rs

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

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

trivial_impl3.stderr

Show number in error message even for one error

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

trivial_impl4.rs

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

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

trivial_impl4.stderr

Show number in error message even for one error

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

trivial_impl_sized.rs

Add some tests around where bounds on associated items and their lack of effect on impls

2023-06-26 09:56:28 +00:00

trivial_impl_sized.stderr

Add some tests around where bounds on associated items and their lack of effect on impls

2023-06-26 09:56:28 +00:00

trivial_impl.rs

Add some tests around where bounds on associated items and their lack of effect on impls

2023-06-26 09:56:28 +00:00

trivial_impl.stderr

Show number in error message even for one error

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

typeclasses-eq-example-static.rs

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

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

typeclasses-eq-example.rs

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

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

ufcs-object.rs

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

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

unsend-future.rs

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

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

unsend-future.stderr

Provide more context on derived obligation error primary label

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

unspecified-self-in-trait-ref.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

unspecified-self-in-trait-ref.stderr

Be less confident when dyn suggestion is not checked for object safety

2024-02-09 20:47:50 -08:00

upcast_soundness_bug.rs

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

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

use-before-def.rs

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

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

vtable-res-trait-param.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

vtable-res-trait-param.stderr

Show number in error message even for one error

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

well-formed-recursion-limit.rs

change error messages to be incorrect, but more helpful

2024-02-22 18:18:33 +01:00

well-formed-recursion-limit.stderr

change error messages to be incorrect, but more helpful

2024-02-22 18:18:33 +01:00

where-clause-vs-impl.rs

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

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

with-bounds-default.rs

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

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

with-dst.rs

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

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

wrong-mul-method-signature.rs

Move some UI tests into subdirectories

2023-04-02 19:42:30 -04:00

wrong-mul-method-signature.stderr

recurse into refs when comparing tys for diagnostics

2023-12-07 23:00:46 -05:00