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

Age	Commit message (Collapse)	Author	Lines
2024-01-30	Provide more context on derived obligation error primary label	Esteban Küber	-2/+2
	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-27	Update tests.	Markus Reiter	-1/+1

2024-01-25	bless	Michal Nazarewicz	-0/+1

2023-12-05	Provide context when `?` can't be called because of `Result<_, E>`	Esteban Küber	-2/+6
	When a method chain ending in `?` causes an E0277 because the expression's `Result::Err` variant doesn't have a type that can be converted to the `Result<_, E>` type parameter in the return type, provide additional context of which parts of the chain can and can't support the `?` operator. ``` error[E0277]: `?` couldn't convert the error to `String` --> $DIR/question-mark-result-err-mismatch.rs:28:25 \| LL \| fn bar() -> Result<(), String> { \| ------------------ expected `String` because of this LL \| let x = foo(); \| ----- this can be annotated with `?` because it has type `Result<String, String>` LL \| let one = x LL \| .map(\|s\| ()) \| ----------- this can be annotated with `?` because it has type `Result<(), String>` LL \| .map_err(\|_\| ())?; \| ---------------^ the trait `From<()>` is not implemented for `String` \| \| \| this can't be annotated with `?` because it has type `Result<(), ()>` \| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait = help: the following other types implement trait `From<T>`: <String as From<char>> <String as From<Box<str>>> <String as From<Cow<'a, str>>> <String as From<&str>> <String as From<&mut str>> <String as From<&String>> = note: required for `Result<(), String>` to implement `FromResidual<Result<Infallible, ()>>` ``` Fix #72124.
2023-11-24	Show number in error message even for one error	Nilstrieb	-1/+1
	Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-10-02	Point out the actual mismatch error	Michael Goulet	-0/+3

2023-10-02	For a single impl candidate, try to unify it with error trait ref	Michael Goulet	-3/+3

2023-08-28	Move tests	Caio	-0/+32

2023-06-27	Don't sort strings right after we just sorted by types	Michael Goulet	-5/+5

2023-01-11	Move /src/test to /tests	Albert Larsan	-0/+592