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

Age	Commit message (Collapse)	Author	Lines
2025-05-04	compiletest: Support matching on non-json lines in compiler output	Vadim Petrochenkov	-4/+5
	and migrate most of remaining `error-pattern`s to it.
2024-11-02	Point at tail expression on rpit E0277	Esteban Küber	-13/+17
	``` error[E0277]: the trait bound `{gen block@$DIR/gen_block_is_coro.rs:7:5: 7:8}: Coroutine` is not satisfied --> $DIR/gen_block_is_coro.rs:6:13 \| LL \| fn foo() -> impl Coroutine<Yield = u32, Return = ()> { \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Coroutine` is not implemented for `{gen block@$DIR/gen_block_is_coro.rs:7:5: 7:8}` LL \| gen { yield 42 } \| ---------------- return type was inferred to be `{gen block@$DIR/gen_block_is_coro.rs:7:5: 7:8}` here ``` The secondary span label is new.
2024-11-02	Add trait diff highlighting logic and use it in E0277	Esteban Küber	-13/+15
	When a trait is not implemented for a type, but there is an `impl` for another type or different trait params, we format the output to use highlighting in the same way that E0308 does for types. The logic accounts for 3 cases: - When both the type and trait in the expected predicate and the candidate are different - When only the types are different - When only the trait generic params are different For each case, we use slightly different formatting and wording.
2024-10-29	Remove detail from label/note that is already available in other note	Esteban Küber	-1/+1
	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-10-25	Tweak highlighting when trait is available for different type	Esteban Küber	-2/+2
	When printing ``` = help: the trait `chumsky::private::ParserSealed<'_, &'a str, ((), ()), chumsky::extra::Full<EmptyErr, (), ()>>` is implemented for `Then<Ignored<chumsky::combinator::Filter<chumsky::primitive::Any<&str, chumsky::extra::Full<EmptyErr, (), ()>>, {closure@src/main.rs:9:17: 9:27}>, char>, chumsky::combinator::Map<impl CSTParser<'a, O>, O, {closure@src/main.rs:11:24: 11:27}>, (), (), chumsky::extra::Full<EmptyErr, (), ()>>` = help: for that trait implementation, expected `((), ())`, found `()` ``` Highlight only the `expected` and `found` types, instead of the full type in the first `help`.
2024-10-25	Add test for #132013	Esteban Küber	-0/+82

2023-11-24	Show number in error message even for one error	Nilstrieb	-1/+1
	Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-01-11	Move /src/test to /tests	Albert Larsan	-0/+24