diff --git a/library/src/scala/Tuple.scala b/library/src/scala/Tuple.scala
index 703f8a1e2992..fa72e320b560 100644
--- a/library/src/scala/Tuple.scala
+++ b/library/src/scala/Tuple.scala
@@ -83,7 +83,7 @@ sealed trait Tuple extends Product {
 object Tuple {
 
   /** Type of a tuple with an element appended */
-  type Append[X <: Tuple, Y] <: Tuple = X match {
+  type Append[X <: Tuple, Y] <: NonEmptyTuple = X match {
     case EmptyTuple => Y *: EmptyTuple
     case x *: xs => x *: Append[xs, Y]
   }