We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f0cf54f commit 0631b50Copy full SHA for 0631b50
tests/pos/i17186.scala
@@ -1,5 +1,5 @@
1
type SecondOfTwo[X <: Tuple2[Any, Any]] = Tuple.Head[Tuple.Tail[X]]
2
-val a = implicitly[Second[Tuple2[Int, String]] =:= String]
+val a = implicitly[SecondOfTwo[Tuple2[Int, String]] =:= String]
3
4
type LastOfThree[X <: Tuple3[Any, Any, Any]] = Tuple.Tail[Tuple.Tail[X]]
5
val b = implicitly[LastOfThree[Tuple3[Int, String, Boolean]] =:= Tuple1[Boolean]]
0 commit comments