user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/associated-types
History
Matthias Krüger 8c14588fbb
Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnr 
Make well-formedness predicates no longer coinductive

This PR makes well-formedness no longer coinductive. It was made coinductive in https://github.com/rust-lang/rust/pull/98542, but AFAICT this was only to fix UI tests since we stopped lowering `where Ty:` to an empty-region outlives predicate but to a WF predicate instead.

Arguably it should lower to something completely different, something like a "type mentioned no-op predicate", but well-formedness serves this purpose fine today, and since no code (according to crater) relies on this coinductive behavior, we'd like to avoid having to emulate it in the new solver.

Fixes #123456 (I didn't want to add a test since it seems low-value to have a ICE test for a fuzzer minimization that is basically garbage code.)

Fixes #109764 (not sure if this behavior is emulatable w/o coinductive WF?)

Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/169

r? lcnr
2025-05-17 10:33:08 +02:00
..
auxiliary Move /src/test to /tests 2023-01-11 09:32:08 +00:00
cache best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
associate-type-bound-normalization.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-item-long-paths.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-type-destructuring-assignment.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-type-macro.rs Use cfg(false) in UI tests 2025-04-03 21:41:58 +00:00
associated-type-macro.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
associated-type-projection-ambig-between-bound-and-where-clause.rs Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
associated-type-projection-ambig-between-bound-and-where-clause.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-type-projection-from-multiple-supertraits.rs Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
associated-type-projection-from-multiple-supertraits.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-type-projection-from-supertrait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-type-projection-from-supertrait.stderr diagnostics: update test cases to refer to assoc fn with self as method 2023-02-22 08:40:47 -07:00
associated-type-shadowed-from-non-local-supertrait.rs Point out shadowed associated types 2023-12-06 11:05:22 +01:00
associated-type-shadowed-from-non-local-supertrait.stderr Point out shadowed associated types 2023-12-06 11:05:22 +01:00
associated-type-shadowed-from-supertrait.rs Point out shadowed associated types 2023-12-06 11:05:22 +01:00
associated-type-shadowed-from-supertrait.stderr Point out shadowed associated types 2023-12-06 11:05:22 +01:00
associated-type-struct-construction.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-type-tuple-struct-construction.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-type-tuple-struct-construction.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-basic.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-binding-in-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-binding-in-where-clause.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-binding-to-type-defined-in-supertrait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-binding-to-type-defined-in-supertrait.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-bound-ambiguity.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-bound-failure.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-bound-failure.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-bound-failure.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
associated-types-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-cc.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-coherence-failure.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-coherence-failure.stderr stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
associated-types-conditional-dispatch.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-constant-type.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-doubleendediterator-object.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-duplicate-binding-in-env-hrtb.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-duplicate-binding-in-env.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-enum-field-named.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-enum-field-numbered.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-eq-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-eq-1.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-types-eq-2.rs chore: fix typos 2024-12-30 14:56:21 +07:00
associated-types-eq-2.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-types-eq-3.rs compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
associated-types-eq-3.stderr compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
associated-types-eq-expr-path.rs Automatically taint when reporting errors from ItemCtxt 2024-07-09 07:44:17 +00:00
associated-types-eq-expr-path.stderr Automatically taint when reporting errors from ItemCtxt 2024-07-09 07:44:17 +00:00
associated-types-eq-hr.rs Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
associated-types-eq-hr.stderr Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
associated-types-eq-obj.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-for-unimpl-trait.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-for-unimpl-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-for-unimpl-trait.stderr Normalize each signature input/output in typeck_with_fallback with its own span 2025-01-06 17:58:30 +00:00
associated-types-from-supertrait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-ICE-when-projecting-out-of-err.rs tests: use minicore more 2025-02-24 09:26:54 +00:00
associated-types-ICE-when-projecting-out-of-err.stderr tests: use minicore more 2025-02-24 09:26:54 +00:00
associated-types-impl-redirect.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-in-ambiguous-context.rs Remove the -test suffix from normalize directives 2024-12-27 19:58:16 +11:00
associated-types-in-ambiguous-context.stderr update/bless tests 2025-04-06 21:41:47 +02:00
associated-types-in-bound-type-arg.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-in-default-method.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-in-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-in-impl-generics.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-in-inherent-method.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-incomplete-object.rs Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
associated-types-incomplete-object.stderr Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
associated-types-invalid-trait-ref-issue-18865.rs Remove unnecessary select_obligations_where_possible and redundant errors 2023-08-26 19:35:54 +00:00
associated-types-invalid-trait-ref-issue-18865.stderr Remove invalid further restricting for type bound 2024-07-17 19:08:37 +08:00
associated-types-issue-17359.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-issue-17359.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
associated-types-issue-20220.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-issue-20220.stderr Update tests 2024-02-07 10:42:01 +08:00
associated-types-issue-20346.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-issue-20346.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
associated-types-issue-20371.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-issue-21212.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-iterator-binding.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-method.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-multiple-types-one-trait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-multiple-types-one-trait.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-nested-projections.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-nested-projections.stderr tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-no-suitable-bound.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
associated-types-no-suitable-bound.stderr Normalize each signature input/output in typeck_with_fallback with its own span 2025-01-06 17:58:30 +00:00
associated-types-no-suitable-supertrait-2.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
associated-types-no-suitable-supertrait-2.stderr Normalize each signature input/output in typeck_with_fallback with its own span 2025-01-06 17:58:30 +00:00
associated-types-no-suitable-supertrait.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
associated-types-no-suitable-supertrait.stderr Normalize each signature input/output in typeck_with_fallback with its own span 2025-01-06 17:58:30 +00:00
associated-types-normalize-in-bounds-binding.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-normalize-in-bounds-ufcs.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-normalize-in-bounds.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-normalize-unifield-struct.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-outlives.rs When possible, suggest cloning the result of a call instead of an argument 2024-04-11 16:41:41 +00:00
associated-types-outlives.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
associated-types-overridden-binding-2.rs Do not deduplicate list of associated types provided by dyn principal 2025-02-21 19:32:45 +00:00
associated-types-overridden-binding-2.stderr Do not deduplicate list of associated types provided by dyn principal 2025-02-21 19:32:45 +00:00
associated-types-overridden-binding.rs Do not deduplicate list of associated types provided by dyn principal 2025-02-21 19:32:45 +00:00
associated-types-overridden-binding.stderr Do not deduplicate list of associated types provided by dyn principal 2025-02-21 19:32:45 +00:00
associated-types-overridden-default.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-path-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-path-1.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-types-path-2.rs compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
associated-types-path-2.stderr compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
associated-types-project-from-hrtb-in-fn-body.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-project-from-hrtb-in-fn-body.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
associated-types-project-from-hrtb-in-fn.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-project-from-hrtb-in-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-project-from-hrtb-in-fn.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-types-project-from-hrtb-in-struct.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-project-from-hrtb-in-struct.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-project-from-hrtb-in-trait-method.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-project-from-hrtb-in-trait-method.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-project-from-hrtb-in-trait-method.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
associated-types-project-from-type-param-via-bound-in-where.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-bound-ambiguity.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-bound-in-supertraits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-from-known-type-in-impl.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-from-known-type-in-impl.stderr Update tests 2024-02-07 10:42:01 +08:00
associated-types-projection-in-object-type.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-projection-in-supertrait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-in-where-clause.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-projection-to-unrelated-trait-in-method-without-default.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-to-unrelated-trait-in-method-without-default.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-projection-to-unrelated-trait-in-method-without-default.stderr Update tests 2024-02-07 10:42:01 +08:00
associated-types-projection-to-unrelated-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-qualified-path-with-trait-with-type-parameters.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-ref-from-struct.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-ref-in-struct-literal.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-region-erasure-issue-20582.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-resolve-lifetime.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
associated-types-return.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-simple.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-stream.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-struct-field-named.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-struct-field-numbered.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-subtyping-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-subtyping-1.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-sugar-path.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-unconstrained.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
associated-types-unconstrained.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
associated-types-unsized.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-unsized.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-types-unsized.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
associated-types-where-clause-impl-ambiguity.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
avoid-getting-associated-items-of-undefined-trait.rs fix #137508 2025-02-26 05:11:18 +09:00
avoid-getting-associated-items-of-undefined-trait.stderr fix #137508 2025-02-26 05:11:18 +09:00
bound-lifetime-constrained.clause.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bound-lifetime-constrained.func.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bound-lifetime-constrained.object.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bound-lifetime-constrained.rs Remove attribute #[rustc_error] 2025-03-30 01:32:21 +03:00
bound-lifetime-in-binding-only.angle.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bound-lifetime-in-binding-only.elision.stderr Rollup merge of #117914 - estebank:issue-85843, r=wesleywiser 2023-12-12 17:40:53 +01:00
bound-lifetime-in-binding-only.paren.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bound-lifetime-in-binding-only.rs Remove attribute #[rustc_error] 2025-03-30 01:32:21 +03:00
bound-lifetime-in-return-only.elision.stderr Rollup merge of #117914 - estebank:issue-85843, r=wesleywiser 2023-12-12 17:40:53 +01:00
bound-lifetime-in-return-only.local.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
bound-lifetime-in-return-only.rs Remove attribute #[rustc_error] 2025-03-30 01:32:21 +03:00
bound-lifetime-in-return-only.sig.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bound-lifetime-in-return-only.structure.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
default-associated-types.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
defaults-cyclic-fail-1.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
defaults-cyclic-fail-1.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
defaults-cyclic-fail-2.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
defaults-cyclic-fail-2.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
defaults-cyclic-pass-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
defaults-cyclic-pass-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
defaults-in-other-trait-items-pass.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
defaults-in-other-trait-items.rs Use can_eq to compare types for default assoc type error 2023-01-25 21:25:42 +01:00
defaults-in-other-trait-items.stderr Use can_eq to compare types for default assoc type error 2023-01-25 21:25:42 +01:00
defaults-mixed.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
defaults-mixed.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
defaults-specialization.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
defaults-specialization.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
defaults-suitability.current.stderr Trim suggestion parts to the subset that is purely additive 2025-02-14 00:44:10 -08:00
defaults-suitability.next.stderr Trim suggestion parts to the subset that is purely additive 2025-02-14 00:44:10 -08:00
defaults-suitability.rs Add a bunch of tests 2024-05-30 15:52:29 -04:00
defaults-unsound-62211-1.current.stderr Fold item bound before checking that they hold 2024-05-30 15:52:29 -04:00
defaults-unsound-62211-1.next.stderr Check that alias-relate terms are WF if reporting an error in alias-relate 2024-06-13 08:52:35 -04:00
defaults-unsound-62211-1.rs Check that alias-relate terms are WF if reporting an error in alias-relate 2024-06-13 08:52:35 -04:00
defaults-unsound-62211-2.current.stderr Fold item bound before checking that they hold 2024-05-30 15:52:29 -04:00
defaults-unsound-62211-2.next.stderr Check that alias-relate terms are WF if reporting an error in alias-relate 2024-06-13 08:52:35 -04:00
defaults-unsound-62211-2.rs Check that alias-relate terms are WF if reporting an error in alias-relate 2024-06-13 08:52:35 -04:00
defaults-wf.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
defaults-wf.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
dont-suggest-cyclic-constraint.rs Revert PR #114052 to fix invalid suggestion 2023-08-17 14:33:33 +02:00
dont-suggest-cyclic-constraint.stderr recurse into refs when comparing tys for diagnostics 2023-12-07 23:00:46 -05:00
higher-ranked-projection.bad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
higher-ranked-projection.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hr-associated-type-bound-1.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
hr-associated-type-bound-1.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
hr-associated-type-bound-2.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
hr-associated-type-bound-2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
hr-associated-type-bound-object.rs fallout :skull_emoji: 2025-02-14 00:37:23 +01:00
hr-associated-type-bound-object.stderr fallout :skull_emoji: 2025-02-14 00:37:23 +01:00
hr-associated-type-bound-param-1.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
hr-associated-type-bound-param-1.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
hr-associated-type-bound-param-2.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
hr-associated-type-bound-param-2.stderr fallout :skull_emoji: 2025-02-14 00:37:23 +01:00
hr-associated-type-bound-param-3.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
hr-associated-type-bound-param-3.stderr Make sure to ignore elided lifetimes when pointing at args for fulfillment errors 2024-11-12 02:08:39 +00:00
hr-associated-type-bound-param-4.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
hr-associated-type-bound-param-4.stderr Make sure to ignore elided lifetimes when pointing at args for fulfillment errors 2024-11-12 02:08:39 +00:00
hr-associated-type-bound-param-5.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
hr-associated-type-bound-param-5.stderr Make sure to ignore elided lifetimes when pointing at args for fulfillment errors 2024-11-12 02:08:39 +00:00
hr-associated-type-bound-param-6.rs Make sure to ignore elided lifetimes when pointing at args for fulfillment errors 2024-11-12 02:08:39 +00:00
hr-associated-type-bound-param-6.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
hr-associated-type-projection-1.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
hr-associated-type-projection-1.stderr Tweak wording 2024-12-07 22:18:51 +00:00
ident-from-macro-expansion.rs Fix associated type errors too 2025-03-03 23:53:42 +00:00
ident-from-macro-expansion.stderr Fix associated type errors too 2025-03-03 23:53:42 +00:00
impl-trait-return-missing-constraint.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-trait-return-missing-constraint.stderr Stop inverting expectation in normalization errors 2024-10-16 13:44:56 -04:00
impl-wf-cycle-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-wf-cycle-1.stderr Account for trailing comma in removal suggestion 2024-01-19 23:55:05 +00:00
impl-wf-cycle-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-wf-cycle-2.stderr Account for single where bound being removed 2024-01-22 17:52:36 +00:00
impl-wf-cycle-3.rs Provide more context on recursive impl evaluation overflow 2024-01-19 23:55:05 +00:00
impl-wf-cycle-3.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
impl-wf-cycle-4.rs Use a query rather than recomputing the tail repeatedly 2025-04-09 20:26:58 +00:00
impl-wf-cycle-4.stderr Use a query rather than recomputing the tail repeatedly 2025-04-09 20:26:58 +00:00
impl-wf-cycle-5.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-wf-cycle-5.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-wf-cycle-5.stderr Update tests 2024-02-07 10:42:01 +08:00
impl-wf-cycle-6.fixed If suggestion would leave an empty line, delete it 2024-03-01 13:48:20 +00:00
impl-wf-cycle-6.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-wf-cycle-6.stderr Update tests 2024-02-07 10:42:01 +08:00
imply-relevant-nested-item-bounds-2.rs Collect relevant item bounds from trait clauses for nested rigid projections, GATs 2024-09-25 13:13:04 -04:00
imply-relevant-nested-item-bounds-for-gat.rs Collect relevant item bounds from trait clauses for nested rigid projections, GATs 2024-09-25 13:13:04 -04:00
imply-relevant-nested-item-bounds.rs Collect relevant item bounds from trait clauses for nested rigid projections, GATs 2024-09-25 13:13:04 -04:00
invalid-ctor.fixed Suggest to replace tuple constructor through projection 2025-01-06 18:04:33 +00:00
invalid-ctor.rs Suggest to replace tuple constructor through projection 2025-01-06 18:04:33 +00:00
invalid-ctor.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
issue-18655.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-19081.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-19129-1.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-19129-2.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-19883.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-19883.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-20005.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-20005.stderr Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-20763-1.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-20763-2.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-20825-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-20825.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-20825.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-21363.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-21726.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-22037.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-22037.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-22066.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-22560.rs Dont create object type when more than one principal is present 2024-11-23 18:54:08 +00:00
issue-22560.stderr Dont create object type when more than one principal is present 2024-11-23 18:54:08 +00:00
issue-22828.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-23208.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-23595-1.rs Taint more aggressively in astconv 2024-01-11 09:03:26 +00:00
issue-23595-1.stderr Taint more aggressively in astconv 2024-01-11 09:03:26 +00:00
issue-23595-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-23595-2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-24159.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-24204.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-24338.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-25339.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-25700-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-25700-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-25700.rs Adjust compiler tests for unused_tuple_struct_fields -> dead_code 2024-01-02 15:34:37 -05:00
issue-25700.stderr Mention when type parameter could be Clone 2024-04-24 22:21:15 +00:00
issue-26262.rs Move tests 2024-03-03 16:30:48 -03:00
issue-26262.stderr Move tests 2024-03-03 16:30:48 -03:00
issue-26681.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-26681.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-27675-unchecked-bounds.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27675-unchecked-bounds.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-27901.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-28871.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-31597.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-32323.rs Move tests 2023-08-28 17:47:37 -03:00
issue-32323.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-32350.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-36499.rs UI tests: migrate remaining compile time error-patterns to line annotations 2025-04-13 21:48:53 +03:00
issue-36499.stderr UI tests: migrate remaining compile time error-patterns to line annotations 2025-04-13 21:48:53 +03:00
issue-37808.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-37883.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-38821.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-38821.stderr Do not suggest using -Zmacro-backtrace for builtin macros 2025-03-14 19:50:03 +00:00
issue-38917.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-39532.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-40093.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-41868.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43475.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43784-associated-type.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-43784-associated-type.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-43924.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-43924.stderr Tweak use of trimmed paths 2023-01-30 20:12:21 +00:00
issue-44153.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-44153.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-47139-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-47139-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-47385.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-47814.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-47814.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-48010.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-48551.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-50301.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-54108.current.stderr Trim suggestion parts to the subset that is purely additive 2025-02-14 00:44:10 -08:00
issue-54108.next.stderr Trim suggestion parts to the subset that is purely additive 2025-02-14 00:44:10 -08:00
issue-54108.rs Check that alias-relate terms are WF if reporting an error in alias-relate 2024-06-13 08:52:35 -04:00
issue-54182-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-54182-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-54467.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-55846.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-59324.rs Elaborate param-env built for checking DispatchFromDyn for dyn compat 2025-03-11 16:32:56 +00:00
issue-59324.stderr Do not mix normalized and unnormalized caller bounds when constructing param-env for receiver_is_dispatchable 2025-03-30 02:39:19 +00:00
issue-62200.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-62200.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-63591.rs Stabilize associated type bounds 2024-03-08 20:56:25 +00:00
issue-63593.current.stderr Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-63593.next.stderr Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-63593.rs Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-64848.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-64855-2.rs Adjust tests 2025-04-29 03:07:24 +00:00
issue-64855-2.stderr Adjust tests 2025-04-29 03:07:24 +00:00
issue-64855.rs Adjust tests 2025-04-29 03:07:24 +00:00
issue-64855.stderr Adjust tests 2025-04-29 03:07:24 +00:00
issue-65774-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-65774-1.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-65774-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-65774-2.stderr Note base types of coercion 2023-05-12 00:10:52 +00:00
issue-65934.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-67684.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-69398.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-71113.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-72806.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-72806.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-76179.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-82079.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-85103-layout-debug.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
issue-85103-layout-debug.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-87261.rs Mention fn coercion rules (needs to be expanded) 2023-01-30 21:51:33 +00:00
issue-87261.stderr Mention fn coercion rules (needs to be expanded) 2023-01-30 21:51:33 +00:00
issue-88856.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-91069.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-91231.rs Update tests. 2025-01-07 16:04:14 +01:00
issue-91234.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
mismatch-two-relevant-impls.rs Use select in projection lookup 2025-04-30 18:07:52 +00:00
mismatch-two-relevant-impls.stderr Use select in projection lookup 2025-04-30 18:07:52 +00:00
missing-associated-types.rs Dont create object type when more than one principal is present 2024-11-23 18:54:08 +00:00
missing-associated-types.stderr Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
normalization-debruijn-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalization-debruijn-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalization-debruijn-3.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalization-generality-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalization-generality.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalization-probe-cycle.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalize-cycle-in-eval-no-region.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
normalize-cycle-in-eval.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
object-method-numbering.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
object-normalization.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
param-env-normalize-cycle.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
point-at-type-on-obligation-failure-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
point-at-type-on-obligation-failure-2.stderr Point out if a local trait has no implementations 2023-09-10 21:20:36 +00:00
point-at-type-on-obligation-failure.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
point-at-type-on-obligation-failure.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
project-defer-unification.rs chore: fix typos 2024-12-30 14:56:21 +07:00
project-recursion-limit-non-fatal.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
remove-invalid-type-bound-suggest-issue-127555.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
remove-invalid-type-bound-suggest-issue-127555.stderr Report impl has stricter requirements even when RPITIT inference gets in the way 2025-01-03 02:45:29 +00:00
substs-ppaux.normal.stderr compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
substs-ppaux.rs compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
substs-ppaux.verbose.stderr compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
trait-with-supertraits-needing-sized-self.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
trait-with-supertraits-needing-sized-self.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
wf-cycle-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
wf-cycle.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00