File tree Expand file tree Collapse file tree 2 files changed +9
-8
lines changed
Expand file tree Collapse file tree 2 files changed +9
-8
lines changed Original file line number Diff line number Diff line change 1+ import java .util .function .Consumer
2+
13object Test {
24 def f (): Unit = assert(false )
35 def f (x : Int ): Unit = assert(false )
46 def f (x : String ): Unit = ()
57
6- def foo (c : java.util.function. Consumer [String ]) = c.accept(" " )
8+ def foo (c : Consumer [String ]) = c.accept(" " )
79
810 def main (args : Array [String ]) = {
911 foo(f)
Original file line number Diff line number Diff line change 1+ import java .util .function .Consumer
2+
13object Test {
2- def f (x : Int ): Unit = assert(false )
34 def f (x : String ): Unit = assert(false )
4- def f : java.io. OutputStream = new java.io. OutputStream {
5- def write ( x : Int ) = ()
6- }
5+ def f : Consumer [ String ] = new Consumer { def accept ( s : String ) = () }
6+
7+ def foo ( c : Consumer [ String ]) = c.accept( " " )
78
89 def main (args : Array [String ]) = {
9- val oos = new java.io.ObjectOutputStream (f)
10- oos.write(0 )
11- oos.close()
10+ foo(f)
1211 }
1312}
You can’t perform that action at this time.
0 commit comments