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
Nathan Fenner	f0212e6532	Fix error spans for arguments to tuple enum constructors	2023-02-28 14:58:14 -08:00
Nathan Fenner	2566b4105d	Point error span at Some constructor argument when trait resolution fails	2023-02-27 23:58:35 -08:00
Nathan Fenner	2a67e99d7d	Point at specific field in struct literal when trait fulfillment fails	2023-01-23 13:37:58 -08:00