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

Age	Commit message (Collapse)	Author	Lines
2023-01-11	Move /src/test to /tests	Albert Larsan	-14/+0

2022-07-04	update infer cost computation for types	lcnr	-7/+7

2022-06-02	add new `emit_inference_failure_err`	lcnr	-6/+8

2020-09-02	pretty: trim paths of unique symbols	Dan Aloni	-2/+2
	If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2019-12-14	Indicate origin of where type parameter for uninferred types	Ohad Ravid	-1/+1

2019-12-11	Add more context for type parameters	Esteban Küber	-1/+1

2019-06-01	review comment: tweak wording	Esteban Küber	-3/+3

2019-05-31	Tweak wording	Esteban Küber	-1/+1

2019-05-31	On type inference errors use the type argument name when possible	Esteban Küber	-2/+2
	``` error[E0282]: type annotations needed in `std::result::Result<i32, E>` --> file7.rs:3:13 \| 3 \| let b = Ok(4); \| - ^^ cannot infer type for `E` in `std::result::Result<i32, E>` \| \| \| consider giving `b` a type` ```
2019-05-31	Alternative wording for inference failure	Esteban Küber	-2/+2

2019-05-31	Add more detail to type inference error	Esteban Küber	-1/+1
	When encountering code where type inference fails, add more actionable information: ``` fn main() { let foo = Vec::new(); } ``` ``` error[E0282]: type annotations needed for `std::vec::Vec<_>` --> $DIR/vector-no-ann.rs:2:16 \| LL \| let foo = Vec::new(); \| --- ^^^^^^^^ cannot infer type for `T` \| \| \| consider giving `foo` the type `std::vec::Vec<_>` with the type parameter `T` specified ``` We still need to modify type printing to optionally accept a `TypeVariableTable` in order to properly print `std::vec::Vec<T>`. CC #25633.
2019-03-11	Update tests	Vadim Petrochenkov	-1/+1

2018-12-25	Remove licenses	Mark Rousskov	-1/+1

2018-08-14	Merged migrated compile-fail tests and ui tests. Fixes #46841.	David Wood	-0/+12