1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
t5553_2.scala:27: error: type mismatch;
found : Base[T]
required: Int
def test4[T]: Int = Foo1[T](1)
^
t5553_2.scala:34: error: type mismatch;
found : String
required: Base[T]
def test7[T]: Base[T] = Foo2[T]
^
t5553_2.scala:35: error: type mismatch;
found : String
required: Int
def test8[T]: Int = Foo2[T]
^
t5553_2.scala:40: error: type mismatch;
found : String
required: Int
def test9[T]: Int = Foo3[T]
^
t5553_2.scala:41: error: type mismatch;
found : String
required: Base[T]
def test10[T]: Base[T] = Foo3[T]
^
t5553_2.scala:47: error: could not find implicit value for parameter z: String
def test13[T]: Int = Foo3[T]
^
t5553_2.scala:48: error: could not find implicit value for parameter z: String
def test14[T]: Base[T] = Foo3[T]
^
t5553_2.scala:49: error: could not find implicit value for parameter z: String
def test15[T]: String = Foo3[T]
^
t5553_2.scala:50: error: could not find implicit value for parameter z: String
def test16[T] = Foo3[T]
^
t5553_2.scala:54: error: ambiguous reference to overloaded definition,
both method apply in object Foo4 of type (x: Int)(implicit z: String)Base[T]
and method apply in object Foo4 of type (x: Int)Base[T]
match argument types (Int)
def test17[T] = Foo4[T](1)
^
t5553_2.scala:55: error: ambiguous reference to overloaded definition,
both method apply in object Foo4 of type (x: Int)(implicit z: String)Base[T]
and method apply in object Foo4 of type (x: Int)Base[T]
match argument types (Int) and expected result type Base[T]
def test18[T]: Base[T] = Foo4[T](1)
^
11 errors found
|
