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 5c4e597 commit b080235Copy full SHA for b080235
tests/pos/i7790.scala
@@ -0,0 +1,9 @@
1
+// https://github.com/lampepfl/dotty/issues/7790
2
+trait Foo:
3
+ given Int = 10
4
+ def map(f: Int ?=> Int) = f
5
+ def map(f: Int ?=> String) = f
6
+
7
+@main def Test =
8
+ val m: Foo = ???
9
+ m.map((x: Int) ?=> x)
0 commit comments