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
..
back	use push(char) instead of push_str(&str) to add single chars to strings	2020-09-10 13:58:41 +02:00
coverageinfo
debuginfo	use push(char) instead of push_str(&str) to add single chars to strings	2020-09-10 13:58:41 +02:00
mir	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
traits	Add -Z combine_cgu flag	2020-09-09 17:32:23 +10:00
base.rs	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
common.rs
glue.rs	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
lib.rs
meth.rs
mono_item.rs	ty: remove obsolete printer	2020-08-30 18:59:07 +01:00