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 6cb97ff commit 026f1b7Copy full SHA for 026f1b7
tests/pos-custom-args/captures/capt-test.scala
@@ -1,8 +1,9 @@
1
class C
2
type Cap = {*} C
3
-def m[A, B]//: (f: {*} A => B) => {f} (List[A] => List[B])
4
- =
5
- //[A, B] =>
6
- (f: {*} A => B) => (xs: List[A]) => f.asInstanceOf[List[B]]
+class A
+class B
+def m[A, B] =
+ ??? : ((f: {*} A => B) => {f} (xs: List[A]) => List[B])
7
+ //: (f: {*} A => B) => {f} (List[A] => List[B])
8
9
def mc: (f: {*} String => Int) => {f} List[String] => List[Int] = m[String, Int]
0 commit comments