rust/tests/ui/traits/non_lifetime_binders
Esteban Küber 6efddac288 Provide more context on derived obligation error primary label
Expand the primary span of E0277 when the immediate unmet bound is not what the user wrote:

```
error[E0277]: the trait bound `i32: Bar` is not satisfied
 --> f100.rs:6:6
  |
6 |     <i32 as Foo>::foo();
  |      ^^^ the trait `Bar` is not implemented for `i32`, which is required by `i32: Foo`
  |
help: this trait has no implementations, consider adding one
 --> f100.rs:2:1
  |
2 | trait Bar {}
  | ^^^^^^^^^
note: required for `i32` to implement `Foo`
 --> f100.rs:3:14
  |
3 | impl<T: Bar> Foo for T {}
  |         ---  ^^^     ^
  |         |
  |         unsatisfied trait bound introduced here
```

Fix #40120.
2024-01-30 21:28:18 +00:00
..
bad-copy-cond.rs
bad-copy-cond.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
bad-sized-cond.rs
bad-sized-cond.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
basic.rs
basic.stderr
binder-defaults-112547.rs Deny defaults for higher-ranked generic parameters 2024-01-01 21:58:25 +01:00
binder-defaults-112547.stderr Deny defaults for higher-ranked generic parameters 2024-01-01 21:58:25 +01:00
binder-defaults-118697.rs Deny defaults for higher-ranked generic parameters 2024-01-01 21:58:25 +01:00
binder-defaults-118697.stderr Deny defaults for higher-ranked generic parameters 2024-01-01 21:58:25 +01:00
binder-defaults-119489.rs Deny defaults for higher-ranked generic parameters 2024-01-01 21:58:25 +01:00
binder-defaults-119489.stderr Deny defaults for higher-ranked generic parameters 2024-01-01 21:58:25 +01:00
bounds-on-type-binders.rs Simple modification of diagnostic information 2023-12-21 10:17:11 +08:00
bounds-on-type-binders.stderr Simple modification of diagnostic information 2023-12-21 10:17:11 +08:00
capture-late-ct-in-anon.rs Correctly deny late-bound lifetimes from parent in anon consts and TAITs 2023-09-05 20:20:55 +00:00
capture-late-ct-in-anon.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
disqualifying-object-candidates.rs Only check predicates for late-bound non-lifetime vars in object candidate assembly 2023-11-06 23:25:32 +00:00
drop-impl-pred.no.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
drop-impl-pred.rs
drop-impl-pred.yes.stderr
fail.rs
fail.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
foreach-partial-eq.rs
foreach-partial-eq.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
late-bound-in-anon-ct.rs Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
late-bound-in-anon-ct.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
method-probe.rs
method-probe.stderr
missing-assoc-item.rs
missing-assoc-item.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
nested-apit-mentioning-outer-bound-var.rs
nested-apit-mentioning-outer-bound-var.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
object-lifetime-default-for-late.rs
object-lifetime-default-for-late.stderr
on-dyn.rs
on-dyn.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
on-ptr.rs
on-ptr.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
on-rpit.rs non_lifetime_binders: fix ICE in lint opaque-hidden-inferred-bound 2023-10-03 13:59:59 +02:00
on-rpit.stderr non_lifetime_binders: fix ICE in lint opaque-hidden-inferred-bound 2023-10-03 13:59:59 +02:00
placeholders-dont-outlive-static.bad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
placeholders-dont-outlive-static.good.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
placeholders-dont-outlive-static.rs Make regionck care about placeholders in outlives components 2023-11-19 19:12:20 +00:00
sized-late-bound-issue-114872.rs Don't ICE in is_trivially_sized when encountering late-bound self ty 2023-08-16 01:57:33 +00:00
sized-late-bound-issue-114872.stderr Don't ICE in is_trivially_sized when encountering late-bound self ty 2023-08-16 01:57:33 +00:00
supertrait-object-safety.rs
supertrait-object-safety.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
type-match-with-late-bound.rs Make regionck care about placeholders in outlives components 2023-11-19 19:12:20 +00:00
type-match-with-late-bound.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unifying-placeholders-in-query-response-2.current.stderr Add a simpler test 2024-01-13 23:09:37 +00:00
unifying-placeholders-in-query-response-2.next.stderr Add a simpler test 2024-01-13 23:09:37 +00:00
unifying-placeholders-in-query-response-2.rs Add a simpler test 2024-01-13 23:09:37 +00:00
unifying-placeholders-in-query-response.current.stderr Make sure to instantiate placeholders correctly in old solver 2024-01-13 22:57:44 +00:00
unifying-placeholders-in-query-response.next.stderr Make sure to instantiate placeholders correctly in old solver 2024-01-13 22:57:44 +00:00
unifying-placeholders-in-query-response.rs Make sure to instantiate placeholders correctly in old solver 2024-01-13 22:57:44 +00:00
universe-error1.rs
universe-error1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00