rust/tests/ui/object-safety
bors a395214a3a Auto merge of #116405 - estebank:issue-103155, r=davidtwco
Detect object safety errors when assoc type is missing

When an associated type with GATs isn't specified in a `dyn Trait`, emit an object safety error instead of only complaining about the missing associated type, as it will lead the user down a path of three different errors before letting them know that what they were trying to do is impossible to begin with.

Fix #103155.
2023-10-30 22:47:48 +00:00
..
assoc_const_bounds_sized.rs Update existing UI tests 2023-07-28 22:23:21 +02:00
assoc_const_bounds.rs Update existing UI tests 2023-07-28 22:23:21 +02:00
assoc_type_bounds2.rs Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
assoc_type_bounds2.stderr Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
assoc_type_bounds_implicit_sized.fixed Suggest relaxing implicit type Assoc: Sized; bound 2023-10-19 00:07:16 +00:00
assoc_type_bounds_implicit_sized.rs Suggest relaxing implicit type Assoc: Sized; bound 2023-10-19 00:07:16 +00:00
assoc_type_bounds_implicit_sized.stderr Suggest relaxing implicit type Assoc: Sized; bound 2023-10-19 00:07:16 +00:00
assoc_type_bounds_sized_others.rs Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
assoc_type_bounds_sized_others.stderr Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
assoc_type_bounds_sized_unnecessary.rs Make unused_associated_type_bounds's lint level changeable 2023-07-05 07:46:05 +00:00
assoc_type_bounds_sized_unnecessary.stderr Add a note to duplicate diagnostics 2023-10-05 01:04:41 +00:00
assoc_type_bounds_sized_used.rs Do not require associated types with Self: Sized to uphold bounds when confirming object candidate 2023-09-02 05:08:38 +00:00
assoc_type_bounds_sized_used.stderr Suggest relaxing implicit type Assoc: Sized; bound 2023-10-19 00:07:16 +00:00
assoc_type_bounds_sized.rs Add more tests 2023-07-05 07:46:05 +00:00
assoc_type_bounds.rs Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
assoc_type_bounds.stderr Detect object safety errors when assoc type is missing 2023-10-30 22:12:07 +00:00
call-when-assoc-ty-is-sized.rs Do not require associated types with Self: Sized to uphold bounds when confirming object candidate 2023-09-02 05:08:38 +00:00
issue-19538.rs
issue-19538.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
issue-102762.rs
issue-102762.stderr
issue-102933.rs
issue-106247.rs
object-safety-associated-consts.curr.stderr
object-safety-associated-consts.object_safe_for_dispatch.stderr
object-safety-associated-consts.rs
object-safety-bounds.rs
object-safety-bounds.stderr
object-safety-by-value-self-use.rs
object-safety-by-value-self-use.stderr Do not set up wrong span for adjustments 2023-07-10 20:09:26 +00:00
object-safety-by-value-self.rs
object-safety-generics.curr.stderr
object-safety-generics.object_safe_for_dispatch.stderr
object-safety-generics.rs
object-safety-issue-22040.rs
object-safety-issue-22040.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
object-safety-mentions-Self.curr.stderr
object-safety-mentions-Self.object_safe_for_dispatch.stderr
object-safety-mentions-Self.rs
object-safety-no-static.curr.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
object-safety-no-static.object_safe_for_dispatch.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
object-safety-no-static.rs
object-safety-phantom-fn.rs
object-safety-sized-2.curr.stderr
object-safety-sized-2.object_safe_for_dispatch.stderr
object-safety-sized-2.rs
object-safety-sized.curr.stderr
object-safety-sized.object_safe_for_dispatch.stderr
object-safety-sized.rs
object-safety-supertrait-mentions-GAT.rs
object-safety-supertrait-mentions-GAT.stderr always show and explain sub region 2023-10-08 09:59:51 +00:00
object-safety-supertrait-mentions-Self.rs
object-safety-supertrait-mentions-Self.stderr