Merge pull request #3212 from matthiaskrgr/clippy_dev_ed2018

clippy_dev: port to edition 2018
This commit is contained in:
Philipp Hansch 2018-09-25 07:27:12 +01:00 committed by GitHub
commit 1be78b90ac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 5 deletions

View file

@ -1,7 +1,10 @@
cargo-features = ["edition"]
[package]
name = "clippy_dev"
version = "0.0.1"
authors = ["Philipp Hansch <dev@phansch.net>"]
edition = "2018"
[dependencies]
clap = "~2.32"

View file

@ -1,12 +1,9 @@
#![feature(tool_lints)]
#![allow(clippy::default_hash_types)]
extern crate regex;
#[macro_use]
extern crate lazy_static;
extern crate itertools;
use regex::Regex;
use itertools::Itertools;
use lazy_static::lazy_static;
use regex::Regex;
use std::collections::HashMap;
use std::ffi::OsStr;
use std::fs;