test/files/pos/trait_fields_dependent_conflict.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// derived from test/files/pos/S5.scala

// compile with -uniqid to see a hint of the trouble
trait N {
  // the symbol for self does not get rebound when synthesizing members in C
  val self: N = ???
  val n: self.type = self
}

abstract class M {
  val self: N
  val n: self.type
}

abstract class MConflict extends N {
  val self: N
  val n: self.type
}

class C extends M with N