blob: c4aac71295c4d4ffefb9a68505c7bcb859b02df2 (
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
|
class ClassCounts extends scala.collection.mutable.HashMap[Class[_], Int] { }
class A {
def f(xs: ClassCounts) {
// ok
xs(getClass) = xs(getClass) + 1
// not ok
xs(getClass) += 1
}
}
// [Not checkable: parser]
// [Not checkable: namer]
// [Not checkable: packageobjects]
// [Now checking: typer]
// test/checker-tests/fail10.scala:8: error:
// **** ERROR DURING INTERNAL CHECKING ****
// type mismatch;
// found : java.lang.Class[?0(in value ev$1)] where type ?0(in value ev$1)
// required: java.lang.Class[?0(in method f)] where type ?0(in method f)
// xs(getClass) += 1
// ^
// one error found
|