user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/marker_trait_attr
History
Exact
Esteban Küber 049c32797b On E0277, point at type that doesn't implement bound 
When encountering an unmet trait bound, point at local type that doesn't implement the trait:

```
error[E0277]: the trait bound `Bar<T>: Foo` is not satisfied
  --> $DIR/issue-64855.rs:9:19
   |
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
   |                   ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
   |
help: the trait `Foo` is not implemented for `Bar<T>`
  --> $DIR/issue-64855.rs:9:1
   |
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
   | ^^^^^^^^^^^^^^^^^
```
2025-08-22 17:55:15 +00:00
..
conflicting-send-impls-for-marker-trait-106755.rs Rehome tests/ui/issues/ tests [1/?] 2025-07-24 17:01:44 -04:00
conflicting-send-impls-for-marker-trait-106755.stderr Rehome tests/ui/issues/ tests [1/?] 2025-07-24 17:01:44 -04:00
issue-61651-type-mismatch.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
marker-attribute-on-non-trait.rs Update uitests 2025-08-14 18:18:42 +02:00
marker-attribute-on-non-trait.stderr Update uitests 2025-08-14 18:18:42 +02:00
marker-attribute-with-values.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
marker-attribute-with-values.stderr Port #[marker] to the new attribute system 2025-07-09 01:18:28 +03:00
marker-trait-with-associated-items.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
marker-trait-with-associated-items.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
overlap-doesnt-conflict-with-specialization.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
overlap-doesnt-conflict-with-specialization.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
overlap-marker-trait-with-static-lifetime.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
overlap-marker-trait-with-static-lifetime.stderr stop special-casing 'static in evaluate 2023-03-22 11:37:57 +01:00
overlap-marker-trait-with-underscore-lifetime.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
overlap-marker-trait-with-underscore-lifetime.stderr Point at impl self type for impl wf obligations 2023-01-12 20:44:47 +00:00
overlap-marker-trait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
overlap-marker-trait.stderr On E0277, point at type that doesn't implement bound 2025-08-22 17:55:15 +00:00
overlap-permitted-for-annotated-marker-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
overlapping-impl-1-modulo-regions.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
overlapping-impl-1-modulo-regions.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
override-item-on-marker-trait.rs Stop bailing out from compilation just because there were incoherent traits 2024-02-05 10:17:31 +00:00
override-item-on-marker-trait.stderr Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
region-overlap.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
region-overlap.stderr Point at impl self type for impl wf obligations 2023-01-12 20:44:47 +00:00
unsound-overlap.rs Always make inductive cycles as ambig during typeck 2024-03-31 20:44:30 -04:00
unsound-overlap.stderr Always make inductive cycles as ambig during typeck 2024-03-31 20:44:30 -04:00