summaryrefslogtreecommitdiff
path: root/test/files/neg/t750.check
blob: c17ca334e66355eb5624a8ec52e5b19f061c3593 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Test_2.scala:4: error: type mismatch;
 found   : Array[Int]
 required: Array[? with Object]
Note: Int >: ? with Object, but class Array is invariant in type T.
You may wish to investigate a wildcard type such as `_ >: ? with Object`. (SLS 3.2.10)
  AO_1.f(a)
         ^
Test_2.scala:5: error: type mismatch;
 found   : Array[Int]
 required: Array[Int]
Note: Int >: Int, but class Array is invariant in type T.
You may wish to investigate a wildcard type such as `_ >: Int`. (SLS 3.2.10)
  AO_1.f[Int](a)
              ^
two errors found