rust/tests/ui/generic-associated-types
Taylor Cramer d00d4dfe0d Refactor dyn-compatibility error and suggestions
This CL makes a number of small changes to dyn compatibility errors:
- "object safety" has been renamed to "dyn-compatibility" throughout
- "Convert to enum" suggestions are no longer generated when there
  exists a type-generic impl of the trait or an impl for `dyn OtherTrait`
- Several error messages are reorganized for user readability

Additionally, the dyn compatibility error creation code has been
split out into functions.

cc #132713
cc #133267
2025-01-22 09:20:57 -08:00
..
auxiliary
bugs Do not project when there are unconstrained impl params 2025-01-03 05:01:14 +00:00
extended Remove generic_associated_types_extended feature gate 2024-12-03 16:34:44 +00:00
parse Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
ambig-hr-projection-issue-93340.next.stderr Be better at reporting alias errors 2024-10-15 20:42:17 -04:00
ambig-hr-projection-issue-93340.old.stderr Be better at reporting alias errors 2024-10-15 20:42:17 -04:00
ambig-hr-projection-issue-93340.rs Be better at reporting alias errors 2024-10-15 20:42:17 -04:00
anonymize-bound-vars.rs
assume-gat-normalization-for-nested-goals.current.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
assume-gat-normalization-for-nested-goals.next.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
assume-gat-normalization-for-nested-goals.rs Fold item bound before checking that they hold 2024-05-30 15:52:29 -04:00
collections-project-default.rs
collections-project-default.stderr
collections.rs
collectivity-regression.rs
collectivity-regression.stderr Tweak multispan rendering 2024-12-12 23:36:27 +00:00
const-generics-gat-in-trait-return-type-1.rs
const-generics-gat-in-trait-return-type-2.rs
const-generics-gat-in-trait-return-type-3.rs
const_params_have_right_type.rs
const_params_have_right_type.stderr
constraint-assoc-type-suggestion.rs
constraint-assoc-type-suggestion.stderr
construct_with_other_type.rs
cross-crate-bounds.rs
cross-crate-bounds.stderr
elided-in-expr-position.rs
elided-in-expr-position.stderr
empty_generics.rs
empty_generics.stderr
equality-bound.rs
equality-bound.stderr
gat-bounds-normalize-pred.rs
gat-bounds-not-checked-with-right-substitutions.rs
gat-bounds-not-checked-with-right-substitutions.stderr
gat-in-trait-path-undeclared-lifetime.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-in-trait-path-undeclared-lifetime.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-in-trait-path.base.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-in-trait-path.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-in-trait-path.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-trait-path-generic-type-arg.rs
gat-trait-path-generic-type-arg.stderr
gat-trait-path-missing-lifetime.rs Differentiate between methods and associated functions 2024-08-10 00:54:16 +00:00
gat-trait-path-missing-lifetime.stderr Differentiate between methods and associated functions 2024-08-10 00:54:16 +00:00
gat-trait-path-parenthesised-args.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-trait-path-parenthesised-args.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
generic-associated-type-bounds.rs
generic-associated-types-where.rs
generic-associated-types-where.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
generic_associated_type_undeclared_lifetimes.rs
generic_associated_type_undeclared_lifetimes.stderr
guide-inference-in-gat-arg-deeper.rs Only make GAT ambiguous in match_projection_projections considering shallow resolvability 2024-05-17 12:51:21 -04:00
higher-ranked-self-impl-requirement.rs
impl_bounds.rs
impl_bounds.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
impl_bounds_ok.rs
issue-47206-where-clause.rs
issue-47206-where-clause.stderr
issue-58694-parameter-out-of-range.rs
issue-62326-parameter-out-of-range.rs
issue-67424.rs
issue-67510-pass.base.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-67510-pass.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-67510-pass.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-67510.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-67510.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-68641-check-gat-bounds.rs
issue-68641-check-gat-bounds.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-68642-broken-llvm-ir.rs
issue-68642-broken-llvm-ir.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-68643-broken-mir.rs
issue-68643-broken-mir.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-68644-codegen-selection.rs
issue-68644-codegen-selection.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-68645-codegen-fulfillment.rs
issue-68645-codegen-fulfillment.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-68648-1.rs
issue-68648-2.rs
issue-68648-2.stderr
issue-68649-pass.rs
issue-68653.rs
issue-68656-unsized-values.rs
issue-68656-unsized-values.stderr Tweak wording 2024-12-07 22:18:51 +00:00
issue-70303.rs
issue-70304.rs Stop proving outlives constraints on regions we already reported errors on 2024-05-29 09:27:07 +00:00
issue-70304.stderr Stop proving outlives constraints on regions we already reported errors on 2024-05-29 09:27:07 +00:00
issue-71176.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-71176.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-74684-1.rs
issue-74684-1.stderr
issue-74684-2.rs
issue-74684-2.stderr Revert "Auto merge of #122140 - oli-obk:track_errors13, r=davidtwco" 2024-03-11 21:28:16 +00:00
issue-74816.current.stderr Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-74816.next.stderr Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-74816.rs Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-74824.current.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-74824.next.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-74824.rs Add a bunch of tests 2024-05-30 15:52:29 -04:00
issue-76407.rs
issue-76535.base.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-76535.extended.stderr
issue-76535.rs Remove generic_associated_types_extended feature gate 2024-12-03 16:34:44 +00:00
issue-76535.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-76826.rs
issue-78113-lifetime-mismatch-dyn-trait-box.rs
issue-78113-lifetime-mismatch-dyn-trait-box.stderr
issue-78671.base.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-78671.extended.stderr
issue-78671.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-78671.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-79422.base.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-79422.extended.stderr Pretty-print own args of existential projections 2024-08-22 06:22:36 +02:00
issue-79422.rs Remove generic_associated_types_extended feature gate 2024-12-03 16:34:44 +00:00
issue-79422.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-79636-1.rs
issue-79636-1.stderr
issue-79636-2.rs
issue-79636-2.stderr
issue-80433-reduced.rs
issue-80433.rs Stop proving outlives constraints on regions we already reported errors on 2024-05-29 09:27:07 +00:00
issue-80433.stderr Stop proving outlives constraints on regions we already reported errors on 2024-05-29 09:27:07 +00:00
issue-81487.rs
issue-81712-cyclic-traits.rs Bless test fallout (duplicate diagnostics) 2024-03-20 13:00:34 -04:00
issue-81712-cyclic-traits.stderr Bless test fallout (duplicate diagnostics) 2024-03-20 13:00:34 -04:00
issue-81862.rs
issue-81862.stderr
issue-84931.rs
issue-84931.stderr
issue-85921.rs
issue-86218-2.rs
issue-86218.rs
issue-86483.rs
issue-86787.rs
issue-86787.stderr
issue-87258_a.rs
issue-87258_a.stderr
issue-87258_b.rs
issue-87258_b.stderr
issue-87429-2.rs
issue-87429-associated-type-default.rs
issue-87429-associated-type-default.stderr
issue-87429-specialization.rs
issue-87429-specialization.stderr
issue-87429.rs
issue-87748.rs
issue-87750.rs
issue-88287.rs
issue-88287.stderr
issue-88360.fixed
issue-88360.rs
issue-88360.stderr
issue-88405.rs
issue-88459.rs
issue-88595.rs 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
issue-88595.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
issue-89008.rs
issue-89352.rs
issue-90014-tait.rs
issue-90014-tait.stderr Tighten spans for async blocks 2024-06-27 15:19:08 -04:00
issue-90014-tait2.next-solver.stderr Mark some next-solver-behavior tests explicitly with revisions 2024-03-10 23:23:46 -04:00
issue-90014-tait2.rs Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
issue-90014-tait2.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
issue-90014.rs
issue-90014.stderr
issue-90729.rs
issue-91139.migrate.stderr Use ordinal number in argument error 2024-07-14 13:50:09 +09:00
issue-91139.rs
issue-91139.stderr
issue-91883.rs
issue-91883.stderr
issue-92033.rs
issue-92033.stderr
issue-92096.migrate.stderr
issue-92096.rs
issue-92096.stderr
issue-92280.rs
issue-92954.rs
issue-93141.rs
issue-93262.rs
issue-93341.rs
issue-93342.rs
issue-93874.rs
issue-95305.rs
issue-95305.stderr
issue-101020.rs
issue-101020.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-102114.current.stderr
issue-102114.next.stderr
issue-102114.rs
issue-102333.rs
issue-102335-gat.rs Rename HIR TypeBinding to AssocItemConstraint and related cleanup 2024-05-30 22:52:33 +02:00
issue-102335-gat.stderr Fix associated item removal suggestion 2024-07-17 21:30:40 +00:00
issue-119942-unsatisified-gat-bound-during-assoc-ty-selection.rs Normalize xform_ret_ty after constrained 2024-04-21 20:10:12 -04:00
issue-119942-unsatisified-gat-bound-during-assoc-ty-selection.stderr clean up ADT sized constraint computation 2024-03-14 21:28:47 +01:00
iterable.rs
method-unsatisfied-assoc-type-predicate.rs
method-unsatisfied-assoc-type-predicate.stderr
mismatched-where-clause-regions.rs
mismatched-where-clause-regions.stderr
missing-bounds.fixed Revert "Rollup merge of #126618 - mu001999-contrib:dead/enhance, r=pnkfelix" 2024-08-03 07:57:31 -04:00
missing-bounds.rs Revert "Rollup merge of #126618 - mu001999-contrib:dead/enhance, r=pnkfelix" 2024-08-03 07:57:31 -04:00
missing-bounds.stderr Tweak wording 2024-12-07 22:18:51 +00:00
missing-item-sugg.rs
missing-item-sugg.stderr
missing-where-clause-on-trait.rs
missing-where-clause-on-trait.stderr
missing_lifetime_args.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
missing_lifetime_args.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
missing_lifetime_const.rs
missing_lifetime_const.stderr
multiple-type-params-with-unmet-bounds.rs
multiple-type-params-with-unmet-bounds.stderr
own-bound-span.rs
own-bound-span.stderr
parameter_number_and_kind.rs
parameter_number_and_kind.stderr Revert suggestion verbosity change 2024-07-22 22:51:53 +00:00
parameter_number_and_kind_impl.rs
parameter_number_and_kind_impl.stderr
pointer_family.rs
projection-bound-cycle-generic.rs
projection-bound-cycle-generic.stderr
projection-bound-cycle.rs
projection-bound-cycle.stderr
projection-type-lifetime-mismatch.rs
projection-type-lifetime-mismatch.stderr
rigid-hr-projection-issue-93340.rs one must imagine tidy happy 2024-03-14 17:19:40 +01:00
self-outlives-lint.rs
self-outlives-lint.stderr Handle rustc-hir-analysis cases of rustc::potential_query_instability lint 2024-10-02 08:28:45 +03:00
shadowing.rs
shadowing.stderr
static-lifetime-tip-with-default-type.rs place explicit lifetime bound after generic param 2024-05-25 21:57:17 +08:00
static-lifetime-tip-with-default-type.stderr place explicit lifetime bound after generic param 2024-05-25 21:57:17 +08:00
streaming_iterator.rs
trait-objects.base.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
trait-objects.extended.stderr
trait-objects.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
trait-objects.stderr Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
type-param-defaults.rs
type-param-defaults.stderr
unknown-lifetime-ice-119827.rs
unknown-lifetime-ice-119827.stderr
unsatisfied-item-lifetime-bound.rs Split back out unused_lifetimes -> redundant_lifetimes 2024-04-09 12:17:34 -04:00
unsatisfied-item-lifetime-bound.stderr Split back out unused_lifetimes -> redundant_lifetimes 2024-04-09 12:17:34 -04:00
unsatisfied-outlives-bound.rs
unsatisfied-outlives-bound.stderr
variance_constraints.rs