blob: debe07275be6e1dace9085ac9a6aedf7f7290821 (
plain) (
blame)
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
|
t3481.scala:5: error: type mismatch;
found : String("hello")
required: _$1
f[A[Int]]("hello")
^
t3481.scala:11: error: type mismatch;
found : _$2
required: b.T
(which expands to) _$2
def f[T <: B[_]](a: T#T, b: T) = b.m(a)
^
t3481.scala:12: error: type mismatch;
found : String("Hello")
required: _$2
f("Hello", new B[Int])
^
t3481.scala:18: error: type mismatch;
found : String("Hello")
required: t3481.ex3.b.T2
(which expands to) _$3
b.m("Hello")
^
t3481.scala:25: error: type mismatch;
found : String("Hello")
required: t3481.ex4.Test.b.T2
(which expands to) _$4
b.m("Hello")
^
5 errors found
|