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

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

2022-06-29	Make RPIT and TAIT work exactly the same	Oli Scherer	-2/+2

2022-03-28	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	Oli Scherer	-4/+3
	This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
2022-02-11	Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"	Oli Scherer	-3/+4
	This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-02	Hide further opaque type errors if items that could constrain the opaque ↵	Oli Scherer	-1/+0
	type have errors
2022-02-02	Lazily resolve type-alias-impl-trait defining uses	Oli Scherer	-4/+4
	by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
2021-08-06	Point to the value instead of the TAIT declaration for obligation failures	Oli Scherer	-2/+2

2021-07-27	Make all tests use type_alias_impl_trait feature instead of min	Santiago Pastorino	-3/+1

2021-07-27	Use type_alias_impl_trait instead of min in compiler and lib	Santiago Pastorino	-1/+0

2021-04-03	Remove redundant `ignore-tidy-linelength` annotations	Simon Jakobi	-1/+0
	This is step 2 towards fixing #77548. In the codegen and codegen-units test suites, the `//` comment markers were kept in order not to affect any source locations. This is because these tests cannot be automatically `--bless`ed.
2021-03-15	Replace `type_alias_impl_trait` by `min_type_alias_impl_trait` with no ↵	Oli Scherer	-1/+4
	actual changes in behaviour This makes `type_alias_impl_trait` not actually do anything anymore
2020-09-26	Call `type_of` for opaque types later in compilation	Matthew Jasper	-3/+3
	This ensures that various wf checks have already been done before we typeck item bodies.
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-08-02	Replace "existential" by "opaque"	varkor	-1/+1

2019-08-02	Update syntax in existing tests	varkor	-2/+2

2019-07-03	typeck: merge opaque type inference logic	David Wood	-0/+22
	This commit merges the logic used for opaque type type inference for impl Trait and non-impl Trait cases. This fixes an ICE where existential types used in the return types of functions would be allowed to have an out-of-scope generic type parameter.