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

…