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

Age	Commit message (Collapse)	Author	Lines
2020-09-10	implement `const_evaluatable_checked` feature MVP	Bastian Kauschke	-15/+36

2020-09-09	Remove def_id field from ParamEnv	Bram van den Heuvel	-156/+39

2020-09-08	add tracking issue, fix rebase	Bastian Kauschke	-0/+61

2020-09-08	review	Bastian Kauschke	-13/+11

2020-09-08	make `ConstEvaluatable` more strict	Bastian Kauschke	-17/+22

2020-09-04	ty.flags -> ty.flags()	LeSeulArtichaut	-1/+1

2020-09-04	Change ty.kind to a method	LeSeulArtichaut	-73/+75

2020-09-03	specialization_graph: avoid trimmed paths for OverlapError	Dan Aloni	-2/+4

2020-09-02	pretty: trim paths of unique symbols	Dan Aloni	-14/+20
	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.
2020-09-02	Fix some unwanted uses of Debug formatting on user-facing messages	Dan Aloni	-2/+2
	While formatting for user diagnostics used `Display` for all most cases, some small amount of cases used `Debug` instead. Until now, `Display` and `Debug` yielded the same output for many types. However, with path trimming, we want to show a shorter path for the user, these cases need fixing.
2020-08-30	Remove error message in specific case	kadmin	-0/+5
	In the case that a trait is not implemented for an ADT with type errors, cancel the error.
2020-08-30	mv compiler to compiler/	mark	-0/+19303