summaryrefslogtreecommitdiff
path: root/test/files/neg/bug987.check
blob: ec2ca621fdd503c3821f2a5175bdaa979af3f208 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
bug987.scala:15: error: the type intersection D with ScalaObject is malformed
 --- because ---
no common type instance of base types B[C], and B[D] exists.
class E extends D
        ^
bug987.scala:20: error: the type intersection D with ScalaObject is malformed
 --- because ---
no common type instance of base types B[C], and B[D] exists.
class F extends D
        ^
bug987.scala:25: error: the type intersection C with B[D] with ScalaObject is malformed
 --- because ---
no common type instance of base types B[D], and B[C] exists.
abstract class D extends C with B[D] {}
                 ^
three errors found