Skip to content

Commit 35cc2ba

Browse files
test: add regression test for #7790 (#17473)
Closes #7790
2 parents e9272d5 + b080235 commit 35cc2ba

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

tests/pos/i7790.scala

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)