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

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

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

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

glue.rs

Change ty.kind to a method

2020-09-04 17:47:51 +02:00

lib.rs

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

meth.rs

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

mono_item.rs

ty: remove obsolete printer

2020-08-30 18:59:07 +01:00