diff --git a/library/core/src/iter/adapters/chain.rs b/library/core/src/iter/adapters/chain.rs
index 0f5e3718408ce..d4b2640e81dc9 100644
--- a/library/core/src/iter/adapters/chain.rs
+++ b/library/core/src/iter/adapters/chain.rs
@@ -283,11 +283,7 @@ where
 }
 
 #[stable(feature = "default_iters", since = "CURRENT_RUSTC_VERSION")]
-impl<A, B> Default for Chain<A, B>
-where
-    A: Iterator + Default,
-    B: Iterator + Default,
-{
+impl<A: Default, B: Default> Default for Chain<A, B> {
     /// Creates a `Chain` from the default values for `A` and `B`.
     ///
     /// ```
diff --git a/library/core/src/iter/adapters/cloned.rs b/library/core/src/iter/adapters/cloned.rs
index b9e2700860c06..bb7e1660c6eb2 100644
--- a/library/core/src/iter/adapters/cloned.rs
+++ b/library/core/src/iter/adapters/cloned.rs
@@ -155,11 +155,7 @@ where
 }
 
 #[stable(feature = "default_iters", since = "CURRENT_RUSTC_VERSION")]
-impl<'a, I, T: 'a> Default for Cloned<I>
-where
-    I: Default + Iterator<Item = &'a T>,
-    T: Clone,
-{
+impl<I: Default> Default for Cloned<I> {
     /// Creates a `Cloned` iterator from the default value of `I`
     /// ```
     /// # use core::slice;
diff --git a/library/core/src/iter/adapters/copied.rs b/library/core/src/iter/adapters/copied.rs
index 0aa466e37a217..a076ab925e366 100644
--- a/library/core/src/iter/adapters/copied.rs
+++ b/library/core/src/iter/adapters/copied.rs
@@ -242,11 +242,7 @@ where
 }
 
 #[stable(feature = "default_iters", since = "CURRENT_RUSTC_VERSION")]
-impl<'a, I, T: 'a> Default for Copied<I>
-where
-    I: Default + Iterator<Item = &'a T>,
-    T: Copy,
-{
+impl<I: Default> Default for Copied<I> {
     /// Creates a `Copied` iterator from the default value of `I`
     /// ```
     /// # use core::slice;
diff --git a/library/core/src/iter/adapters/enumerate.rs b/library/core/src/iter/adapters/enumerate.rs
index 5b0025cb9849a..8c32a35a12f86 100644
--- a/library/core/src/iter/adapters/enumerate.rs
+++ b/library/core/src/iter/adapters/enumerate.rs
@@ -266,10 +266,7 @@ where
 unsafe impl<I: InPlaceIterable> InPlaceIterable for Enumerate<I> {}
 
 #[stable(feature = "default_iters", since = "CURRENT_RUSTC_VERSION")]
-impl<I> Default for Enumerate<I>
-where
-    I: Iterator + Default,
-{
+impl<I: Default> Default for Enumerate<I> {
     /// Creates an `Enumerate` iterator from the default value of `I`
     /// ```
     /// # use core::slice;
diff --git a/library/core/src/iter/adapters/flatten.rs b/library/core/src/iter/adapters/flatten.rs
index cb68c807bf5fc..e4020c45f71bc 100644
--- a/library/core/src/iter/adapters/flatten.rs
+++ b/library/core/src/iter/adapters/flatten.rs
@@ -305,8 +305,7 @@ where
 #[stable(feature = "default_iters", since = "CURRENT_RUSTC_VERSION")]
 impl<I> Default for Flatten<I>
 where
-    I: Iterator + Default,
-    <I as Iterator>::Item: IntoIterator,
+    I: Default + Iterator<Item: IntoIterator>,
 {
     /// Creates a `Flatten` iterator from the default value of `I`.
     ///
diff --git a/library/core/src/iter/adapters/rev.rs b/library/core/src/iter/adapters/rev.rs
index 0b132e138131a..8ae6d96fde4cc 100644
--- a/library/core/src/iter/adapters/rev.rs
+++ b/library/core/src/iter/adapters/rev.rs
@@ -137,10 +137,7 @@ impl<I> FusedIterator for Rev<I> where I: FusedIterator + DoubleEndedIterator {}
 unsafe impl<I> TrustedLen for Rev<I> where I: TrustedLen + DoubleEndedIterator {}
 
 #[stable(feature = "default_iters", since = "CURRENT_RUSTC_VERSION")]
-impl<I> Default for Rev<I>
-where
-    I: Default + Iterator,
-{
+impl<I: Default> Default for Rev<I> {
     /// Creates a `Rev` iterator from the default value of `I`
     /// ```
     /// # use core::slice;