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 f321a35 commit 36b0020Copy full SHA for 36b0020
tests/run/i24573.check
@@ -3,3 +3,4 @@
3
4
42
5
hello
6
+world
tests/run/i24573.scala
@@ -7,6 +7,12 @@ trait Con2[-T] extends (T => Int):
7
trait Con3[+R] extends (() => R):
8
def apply(): R
9
10
+trait F1[-T, +R] {
11
+ def apply(t: T): R
12
+}
13
+
14
+trait SF[-T] extends F1[T, Unit] { def apply(t: T): Unit }
15
16
object Test:
17
def main(args: Array[String]): Unit =
18
val f1: (Int => Unit) = i => println(i)
@@ -23,3 +29,6 @@ object Test:
23
29
24
30
val c4: Con3[Unit] = () => println("hello")
25
31
c4()
32
33
+ val f5: SF[String] = s => println(s)
34
+ f5("world")
0 commit comments