[rustc.git] / src / test / ui / lint / lint-unknown-lint.rs

#![deny(unknown_lints)]

#![allow(not_a_real_lint)] //~ ERROR unknown lint

#![deny(dead_cod)] //~ ERROR unknown lint
                   //~| HELP did you mean
                   //~| SUGGESTION dead_code

#![deny(rust_2018_idiots)] //~ ERROR unknown lint
                           //~| HELP did you mean
                           //~| SUGGESTION rust_2018_idioms

fn main() {}
Commit	Line	Data
0731742a	1	#![deny(unknown_lints)]
223e47cc	2
0731742a XL	3	#![allow(not_a_real_lint)] //~ ERROR unknown lint
	4
	5	#![deny(dead_cod)] //~ ERROR unknown lint
	6	//~\| HELP did you mean
	7	//~\| SUGGESTION dead_code
	8
136023e0 XL	9	#![deny(rust_2018_idiots)] //~ ERROR unknown lint
	10	//~\| HELP did you mean
	11	//~\| SUGGESTION rust_2018_idioms
	12
0731742a	13	fn main() {}