We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent db97752 commit a52b56cCopy full SHA for a52b56c
tests/pos/i17186.scala
@@ -1,5 +1,5 @@
1
-type Second[X <: Tuple2[Any, Any]] = Tuple.Head[Tuple.Tail[X]]
+type SecondOfTwo[X <: Tuple2[Any, Any]] = Tuple.Head[Tuple.Tail[X]]
2
val a = implicitly[Second[Tuple2[Int, String]] =:= String]
3
4
-type Middle[X <: Tuple2[Any, Any]] = Tuple.Tail[Tuple.Tail[X]]
5
-val b = implicitly[Middle[Tuple2[Int, String]] =:= EmptyTuple]
+type LastOfThree[X <: Tuple3[Any, Any, Any]] = Tuple.Tail[Tuple.Tail[X]]
+val b = implicitly[LastOfThree[Tuple3[Int, String, Boolean]] =:= Tuple1[Boolean]]
0 commit comments