4 Commits

Author	SHA1	Message	Date
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
Michael Goulet	07851679cd	Point out the actual mismatch error	2023-10-02 23:14:29 +00:00
Michael Goulet	8be12f4ed7	For a single impl candidate, try to unify it with error trait ref	2023-10-02 23:14:29 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00