2107 Commits

Author	SHA1	Message	Date
Matthias Krüger	9bb10cc907	use push(char) instead of push_str(&str) to add single chars to strings ... clippy::single-char-push-str	2020-09-10 13:58:41 +02:00
Matthias Krüger	e11c667e4a	don't clone types that are copy (clippy::clone_on_copy)	2020-09-10 13:26:36 +02:00
Bram van den Heuvel	7dad29d686	Remove def_id field from ParamEnv	2020-09-09 10:14:31 +02:00
LeSeulArtichaut	4d28a82c59	ty.flags -> ty.flags()	2020-09-04 18:28:20 +02:00
LeSeulArtichaut	3e14b684dd	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
Dan Aloni	75a042e74b	Fix some unwanted uses of Debug formatting on user-facing messages ... 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-09-02 10:40:10 +03:00
mark	9e5f7d5631	mv compiler to compiler/	2020-08-30 18:45:07 +03:00