rustc: Trim down the rust_2018_idioms lint group#52926
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 1, 2018
Merged
rustc: Trim down the `rust_2018_idioms` lint group#52926bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
