blob: 972a719b3b0458075a46669cf18588af9027896d (
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
30
31
|
override-object-no.scala:14: error: overriding object Bar in trait Foo with object Bar in trait Foo2:
an overriding object must conform to the overridden object's class bound;
found : case1.Bippy
required: case1.Bippy with case1.Bippo
override object Bar extends Bippy { // err
^
override-object-no.scala:21: error: overriding object Bar in trait Quux1 with object Bar in trait Quux2:
an overriding object must conform to the overridden object's class bound;
found : AnyRef{def g: String}
required: AnyRef{def g: Int}
trait Quux2 extends Quux1 { override object Bar { def g = "abc" } } // err
^
override-object-no.scala:25: error: overriding object Bar in trait Quux3;
object Bar cannot override final member
trait Quux4 extends Quux3 { override object Bar } // err
^
override-object-no.scala:43: error: overriding object A in class Foo with object A in class P2:
an overriding object must conform to the overridden object's class bound;
found : case2.Bar[List[String]]
required: case2.Bar[Traversable[String]]
override object A extends Bar[List[String]] // err
^
override-object-no.scala:52: error: overriding method x in trait A of type => SI9574.Foo.type;
method x has incompatible type
trait B extends A { def x: Bar.type } // should not compile (SI-9574)
^
override-object-no.scala:53: error: overriding method x in trait A of type => SI9574.Foo.type;
object x has incompatible type
trait C extends A { override object x }
^
6 errors found
|
