user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/traits/next-solver/diagnostics
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
..
alias_relate_error_uses_structurally_normalize.rs Use structurally_normalize instead of manual normalizes-to goals 2025-01-22 07:04:53 +00:00
alias_relate_error_uses_structurally_normalize.stderr Use structurally_normalize instead of manual normalizes-to goals 2025-01-22 07:04:53 +00:00
ambiguous-fail.rs Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
ambiguous-fail.stderr Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
ambiguous-pass.rs Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
ambiguous-pass.stderr Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
coerce-in-may-coerce.rs Structurally resolve in may_coerce 2024-10-15 20:44:39 -04:00
coerce-in-may-coerce.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
deeply-normalize-type-expectation.rs Deeply normalize type trace in type error reporting 2024-10-24 02:48:28 +00:00
deeply-normalize-type-expectation.stderr Deeply normalize type trace in type error reporting 2024-10-24 02:48:28 +00:00
dont-pick-fnptr-bound-as-leaf.current.stderr On E0277, point at type that doesn't implement bound 2025-08-22 17:55:15 +00:00
dont-pick-fnptr-bound-as-leaf.next.stderr On E0277, point at type that doesn't implement bound 2025-08-22 17:55:15 +00:00
dont-pick-fnptr-bound-as-leaf.rs On E0277, point at type that doesn't implement bound 2025-08-22 17:55:15 +00:00
point-at-failing-nested.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
point-at-failing-nested.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
projection-trait-ref.rs Walk into alias-eq nested goals even if normalization fails 2024-06-12 19:03:37 -04:00
projection-trait-ref.stderr reword trait bound suggestion message to include the bounds 2024-12-07 21:26:20 +00:00
where-clause-doesnt-apply.rs Don't consider candidates with no failing where clauses 2024-05-06 11:32:50 -04:00
where-clause-doesnt-apply.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00