rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2024-12-07	reword trait bound suggestion message to include the bounds	Esteban Küber	-14/+14

2024-10-29	Remove detail from label/note that is already available in other note	Esteban Küber	-14/+14
	Remove the "which is required by `{root_obligation}`" post-script in "the trait `X` is not implemented for `Y`" explanation in E0277. This information is already conveyed in the notes explaining requirements, making it redundant while making the text (particularly in labels) harder to read. ``` error[E0277]: the trait bound `NotCopy: Copy` is not satisfied --> $DIR/wf-static-type.rs:10:13 \| LL \| static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None }; \| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy` \| = note: required for `Option<NotCopy>` to implement `Copy` note: required by a bound in `IsCopy` --> $DIR/wf-static-type.rs:7:17 \| LL \| struct IsCopy<T:Copy> { t: T } \| ^^^^ required by this bound in `IsCopy` ``` vs the prior ``` error[E0277]: the trait bound `NotCopy: Copy` is not satisfied --> $DIR/wf-static-type.rs:10:13 \| LL \| static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None }; \| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy`, which is required by `Option<NotCopy>: Copy` \| = note: required for `Option<NotCopy>` to implement `Copy` note: required by a bound in `IsCopy` --> $DIR/wf-static-type.rs:7:17 \| LL \| struct IsCopy<T:Copy> { t: T } \| ^^^^ required by this bound in `IsCopy` ```
2024-01-30	Provide more context on derived obligation error primary label	Esteban Küber	-14/+14
	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.
2023-02-27	Point error span at Some constructor argument when trait resolution fails	Nathan Fenner	-2/+2

2023-02-19	Refine error span for trait error into borrowed expression	Nathan Fenner	-14/+52

2023-01-23	Point at specific field in struct literal when trait fulfillment fails	Nathan Fenner	-0/+511