Add missing bounds

nicolasstucki · nicolasstucki · commit c4fb0aceecf7 · 2019-06-05T20:27:36.000+02:00
diff --git a/library/src-3.x/scala/Tuple.scala b/library/src-3.x/scala/Tuple.scala
@@ -50,7 +50,7 @@ object Tuple {
   }
 
   /** Type of the element a position N in the tuple X */
-  type Elem[X <: Tuple, N] = X match {
+  type Elem[X <: Tuple, N <: Int] = X match {
     case x *: xs =>
       N match {
         case 0 => x
@@ -59,7 +59,7 @@ object Tuple {
   }
 
   /** Literal constant Int size of a tuple */
-  type Size[X] <: Int = X match {
+  type Size[X <: Tuple] <: Int = X match {
     case Unit => 0
     case x *: xs => S[Size[xs]]
   }

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ object Tuple {`
`50`	`50`	`}`
`51`	`51`
`52`	`52`	`/** Type of the element a position N in the tuple X */`
`53`		`- type Elem[X <: Tuple, N] = X match {`
	`53`	`+ type Elem[X <: Tuple, N <: Int] = X match {`
`54`	`54`	`case x *: xs =>`
`55`	`55`	`N match {`
`56`	`56`	`case 0 => x`
`@@ -59,7 +59,7 @@ object Tuple {`
`59`	`59`	`}`
`60`	`60`
`61`	`61`	`/** Literal constant Int size of a tuple */`
`62`		`- type Size[X] <: Int = X match {`
	`62`	`+ type Size[X <: Tuple] <: Int = X match {`
`63`	`63`	`case Unit => 0`
`64`	`64`	`case x *: xs => S[Size[xs]]`
`65`	`65`	`}`