diff options
| author | bors <bors@rust-lang.org> | 2020-07-31 02:20:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-07-31 02:20:47 +0000 |
| commit | ffa80f01d800528b2cfbe5b5a8a218d20c7d8e95 (patch) | |
| tree | 9591e793ce50b32689ab69a3b868ee84fb5b090d /library/core/src | |
| parent | c058a8b8dc5dea0ed9b33e14da9e317e2749fcd7 (diff) | |
| parent | c17eb566c20bb4c98a1e74f7f0461483ff175310 (diff) | |
| download | rust-ffa80f01d800528b2cfbe5b5a8a218d20c7d8e95.tar.gz rust-ffa80f01d800528b2cfbe5b5a8a218d20c7d8e95.zip | |
Auto merge of #74926 - Manishearth:rename-lint, r=jyn514
Rename intra_doc_link_resolution_failure It should be plural to follow the conventions in https://github.com/rust-lang/rfcs/blob/master/text/0344-conventions-galore.md#lints
Diffstat (limited to 'library/core/src')
| -rw-r--r-- | library/core/src/lib.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/library/core/src/lib.rs b/library/core/src/lib.rs index 550e07f9d57..da402040b93 100644 --- a/library/core/src/lib.rs +++ b/library/core/src/lib.rs @@ -61,7 +61,6 @@ #![warn(deprecated_in_future)] #![warn(missing_docs)] #![warn(missing_debug_implementations)] -#![deny(intra_doc_link_resolution_failure)] // rustdoc is run without -D warnings #![allow(explicit_outlives_requirements)] #![allow(incomplete_features)] #![feature(allow_internal_unstable)] @@ -151,7 +150,6 @@ #![feature(slice_ptr_get)] #![feature(no_niche)] // rust-lang/rust#68303 #![feature(unsafe_block_in_unsafe_fn)] -#![deny(intra_doc_link_resolution_failure)] #![deny(unsafe_op_in_unsafe_fn)] #[prelude_import] |