1 #![deny(unknown_lints)]
2 //~^ NOTE lint level is defined
3 #![deny(renamed_and_removed_lints)]
4 //~^ NOTE lint level is defined
6 //~^ ERROR unknown lint
7 #![deny(intra_doc_link_resolution_failure)]
8 //~^ ERROR lint `intra_doc_link_resolution_failure` has been renamed