rust/tests/ui/dyn-compatibility
David Wood c50aebba78
trait_sel: don't require predicates of aliases hold
No longer require that we prove that the predicates of aliases hold when
checking the well-formedness of the alias. This permits more uses of GATs
and changes the output of yet more tests.
2025-10-15 09:35:05 +01:00
..
almost-supertrait-associated-type.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
almost-supertrait-associated-type.stderr Use more detailed spans in dyn compat errors within bodies 2025-05-27 08:18:11 +00:00
assoc_const_bounds.rs
assoc_const_bounds_sized.rs
assoc_type_bounds.rs Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
assoc_type_bounds.stderr Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
assoc_type_bounds2.rs Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
assoc_type_bounds2.stderr Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
assoc_type_bounds_implicit_sized.fixed
assoc_type_bounds_implicit_sized.rs
assoc_type_bounds_implicit_sized.stderr
assoc_type_bounds_sized.rs
assoc_type_bounds_sized_others.rs
assoc_type_bounds_sized_others.stderr
assoc_type_bounds_sized_unnecessary.rs
assoc_type_bounds_sized_unnecessary.stderr
assoc_type_bounds_sized_used.rs trait_sel: don't require predicates of aliases hold 2025-10-15 09:35:05 +01:00
assoc_type_bounds_sized_used.stderr trait_sel: don't require predicates of aliases hold 2025-10-15 09:35:05 +01:00
associated-consts.curr.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
associated-consts.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
associated-consts.stderr Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
associated_type_bound_mentions_self.rs Ignore Self in bounds check for associated types with Self:Sized 2025-02-15 20:38:14 +00:00
avoid-ice-on-warning-2.new.stderr Fix typo in hir lowering lint diag 2025-03-14 21:03:21 +00:00
avoid-ice-on-warning-2.old.stderr bless tests with new lint messages 2025-08-19 21:27:10 +02:00
avoid-ice-on-warning-2.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
avoid-ice-on-warning-3.new.stderr Fix typo in hir lowering lint diag 2025-03-14 21:03:21 +00:00
avoid-ice-on-warning-3.old.stderr bless tests with new lint messages 2025-08-19 21:27:10 +02:00
avoid-ice-on-warning-3.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
avoid-ice-on-warning.new.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
avoid-ice-on-warning.old.stderr bless tests with new lint messages 2025-08-19 21:27:10 +02:00
avoid-ice-on-warning.rs Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
bare-trait-dont-suggest-dyn.new.fixed Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
bare-trait-dont-suggest-dyn.new.stderr Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
bare-trait-dont-suggest-dyn.old.stderr future-incompat lints: don't link to the nightly edition-guide version 2025-07-16 01:44:02 -07:00
bare-trait-dont-suggest-dyn.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
bounds.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
bounds.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
by-value-self-use.rs
by-value-self-use.stderr
by-value-self.rs
call-when-assoc-ty-is-sized.rs
default-param-self-projection.rs Properly report error when object type param default references self 2025-01-24 04:07:10 +00:00
default-param-self-projection.stderr Properly report error when object type param default references self 2025-01-24 04:07:10 +00:00
dyn-compatible-trait-implementation-20939.rs Rehome tests/ui/issues/ tests [3/?] 2025-08-04 16:43:53 -04:00
dyn-compatible-trait-implementation-20939.stderr Rehome tests/ui/issues/ tests [3/?] 2025-08-04 16:43:53 -04:00
elaborated-predicates-ordering.rs
erroneous_signature.rs
erroneous_signature.stderr
gat-incompatible-supertrait.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
gat-incompatible-supertrait.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
generics.curr.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
generics.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
generics.stderr Use more detailed spans in dyn compat errors within bodies 2025-05-27 08:18:11 +00:00
impossible-predicates-multiple_supertrait_upcastable-check.rs
item-bounds-can-reference-self.rs
mention-correct-dyn-incompatible-trait.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
mention-correct-dyn-incompatible-trait.stderr Use more detailed spans in dyn compat errors within bodies 2025-05-27 08:18:11 +00:00
mentions-Self-in-super-predicates.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
mentions-Self-in-super-predicates.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
mentions-Self.curr.stderr Remove dyn_compatible_for_dispatch 2025-02-24 18:48:40 +00:00
mentions-Self.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
mentions-Self.stderr Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
missing-assoc-type.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
missing-assoc-type.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
multiple-supers-should-work.rs Do not deduplicate list of associated types provided by dyn principal 2025-02-21 19:32:45 +00:00
no-static.curr.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
no-static.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
no-static.stderr Use more detailed spans in dyn compat errors within bodies 2025-05-27 08:18:11 +00:00
phantom-fn.rs
reference-to-bare-trait-in-fn-inputs-and-outputs-issue-125139.rs Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
reference-to-bare-trait-in-fn-inputs-and-outputs-issue-125139.stderr Make missing lifetime suggestion verbose 2025-06-24 18:59:42 +00:00
require-assoc-for-all-super-substs.rs Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
require-assoc-for-all-super-substs.stderr Fix ICE when multiple supertrait substitutions need assoc but only one is provided 2024-12-11 19:53:40 +00:00
sized-2.curr.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
sized-2.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
sized-2.stderr Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
sized.curr.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
sized.rs Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
sized.stderr Deduplicate dyn compatibility violations due to coercion 2025-05-26 10:57:54 +00:00
spurious-dyn-compat-errors-58734.rs Add test batch 3 2025-09-12 14:45:12 -04:00
spurious-dyn-compat-errors-58734.stderr Add test batch 3 2025-09-12 14:45:12 -04:00
supertrait-mentions-GAT.rs Merge unboxed trait object error suggestion into regular dyn incompat error 2025-06-13 13:54:06 +00:00
supertrait-mentions-GAT.stderr Merge unboxed trait object error suggestion into regular dyn incompat error 2025-06-13 13:54:06 +00:00
supertrait-mentions-Self.rs
supertrait-mentions-Self.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
taint-const-eval.curr.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
taint-const-eval.rs Check statics' type in type_of. 2025-07-25 23:39:26 +00:00
taint-const-eval.stderr Check statics' type in type_of. 2025-07-25 23:39:26 +00:00
trait-alias-self-projection.rs compiler: report error when trait object type param reference self 2025-04-03 17:35:51 +08:00
trait-alias-self-projection.stderr compiler: report error when trait object type param reference self 2025-04-03 17:35:51 +08:00
undispatchable-receiver-and-wc-references-Self.rs Do not try to confirm non-dyn compatible method 2025-05-23 12:20:35 +00:00
undispatchable-receiver-and-wc-references-Self.stderr Do not try to confirm non-dyn compatible method 2025-05-23 12:20:35 +00:00