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
..
partitioning	use push(char) instead of push_str(&str) to add single chars to strings	2020-09-10 13:58:41 +02:00
collector.rs	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
mod.rs
polymorphize.rs	Change ty.kind to a method	2020-09-04 17:47:51 +02:00