summaryrefslogtreecommitdiff
path: root/test/files/neg/t7834neg.check
blob: 569df4b8ce125184b2ec378835b91b354b413edb (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
32
33
34
35
36
37
38
39
40
41
t7834neg.scala:48: error: type mismatch;
 found   : C.super.q.type (with underlying type M2)
 required: C.super.q.type
  x1 = x2  // fail
       ^
t7834neg.scala:50: error: type mismatch;
 found   : C.super.q.type (with underlying type M1)
 required: C.super.q.type
  x2 = x1  // fail
       ^
t7834neg.scala:53: error: type mismatch;
 found   : C.super.q.type (with underlying type M1)
 required: C.this.q.type
  x3 = x1  // fail
       ^
t7834neg.scala:54: error: type mismatch;
 found   : C.super.q.type (with underlying type M2)
 required: C.this.q.type
  x3 = x2  // fail
       ^
t7834neg.scala:69: error: type mismatch;
 found   : C.super.q.type (with underlying type M2)
 required: C.super.q.type
  x1 = super[S2].q  // fail
                 ^
t7834neg.scala:71: error: type mismatch;
 found   : C.super.q.type (with underlying type M1)
 required: C.super.q.type
  x2 = super[S1].q  // fail
                 ^
t7834neg.scala:74: error: type mismatch;
 found   : C.super.q.type (with underlying type M1)
 required: C.this.q.type
  x3 = super[S1].q  // fail
                 ^
t7834neg.scala:75: error: type mismatch;
 found   : C.super.q.type (with underlying type M2)
 required: C.this.q.type
  x3 = super[S2].q  // fail
                 ^
8 errors found