diff --git a/library/core/src/default.rs b/library/core/src/default.rs
index 426cfe9cdfefc..8a996dd3d537b 100644
--- a/library/core/src/default.rs
+++ b/library/core/src/default.rs
@@ -77,7 +77,7 @@
 /// your type that should be the default:
 ///
 /// ```
-/// # #![allow(dead_code)]
+/// # #![allow(dead_code, default_could_be_derived)]
 /// enum Kind {
 ///     A,
 ///     B,
@@ -121,7 +121,7 @@ pub trait Default: Sized {
     /// Making your own:
     ///
     /// ```
-    /// # #[allow(dead_code)]
+    /// # #![allow(dead_code, default_could_be_derived)]
     /// enum Kind {
     ///     A,
     ///     B,