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 7171211 commit 7b69d33Copy full SHA for 7b69d33
tests/neg/i19949.scala
@@ -0,0 +1,9 @@
1
+
2
+trait T[N]:
3
+ type M = N match
4
+ case 0 => Any
5
6
+val t: T[Double] = new T[Double] {}
7
+val x: t.M = "hello" // error
8
9
+val z: T[Double]#M = "hello" // error
tests/pos/i19950.scala
@@ -0,0 +1,10 @@
+trait Apply[F[_]]:
+ extension [T <: NonEmptyTuple](tuple: T)(using toMap: Tuple.IsMappedBy[F][T])
+ def mapN[B](f: Tuple.InverseMap[T, F] => B): F[B] = ???
+given Apply[Option] = ???
+given Apply[List] = ???
+given Apply[util.Try] = ???
10
+@main def Repro = (Option(1), Option(2), Option(3)).mapN(_ + _ + _)
0 commit comments