test/pending/pos/t1476.scala


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

abstract class Module {
  def moduleDemands(): List[Module]
}

object Test {
  new Module { owner: Module =>
    def moduleDemands() = Nil

    val a = new Module { def moduleDemands(): List[Module] = Nil }
    val b = new Module { def moduleDemands(): List[Module] = owner :: c :: Nil }
    val c = new Module { def moduleDemands(): List[Module] = owner :: a :: Nil }
  }
}

object Test2 {
  new Module { owner =>
    def moduleDemands() = Nil

    val a = new Module { def moduleDemands(): List[Module] = Nil }
    val b = new Module { def moduleDemands(): List[Module] = owner :: c :: Nil }
    val c = new Module { def moduleDemands(): List[Module] = owner :: a :: Nil }
  }
}