path: root/test/files/run/compiler-asSeenFrom.check

class C {
  type                       seen from prefix           is
  ----                       ----------------           --
  C.this.I[Int]              C[List[T3]]                C[List[T3]]#I[Int]
  C.this.I[Int]              C[T1]                      C[T1]#I[Int]
  C.this.I[Int]              D[A1]                      D[A1]#I[Int]
  C.this.I[Int]              D[T3]                      D[T3]#I[Int]
  C.this.I[List[Int]]        C[List[T3]]                C[List[T3]]#I[List[Int]]
  C.this.I[List[Int]]        C[T1]                      C[T1]#I[List[Int]]
  C.this.I[List[Int]]        D[A1]                      D[A1]#I[List[Int]]
  C.this.I[List[Int]]        D[T3]                      D[T3]#I[List[Int]]
  C.this.I[T1]               C[List[T3]]                C[List[T3]]#I[List[T3]]
  C.this.I[T1]               C[T1]                      C[T1]#I[T1]
  C.this.I[T1]               D[A1]                      D[A1]#I[A1]
  C.this.I[T1]               D[T3]                      D[T3]#I[T3]
  C.this.I[T2]               C[List[T3]]                C[List[T3]]#I[T2]
  C.this.I[T2]               C[T1]                      C[T1]#I[T2]
  C.this.I[T2]               D[A1]                      D[A1]#I[T2]
  C.this.I[T2]               D[T3]                      D[T3]#I[T2]
  C.this.I[T3]               C[List[T3]]                C[List[T3]]#I[T3]
  C.this.I[T3]               C[T1]                      C[T1]#I[T3]
  C.this.I[T3]               D[A1]                      D[A1]#I[T3]
  C.this.I[T3]               D[T3]                      D[T3]#I[T3]
  C.this.I[T4]               C[List[T3]]                C[List[T3]]#I[T4]
  C.this.I[T4]               C[T1]                      C[T1]#I[T4]
  C.this.I[T4]               D[A1]                      D[A1]#I[T4]
  C.this.I[T4]               D[T3]                      D[T3]#I[T4]
  C.this.J[Int]              C[List[T3]]                C[List[T3]]#J[Int]
  C.this.J[Int]              C[T1]                      C[T1]#J[Int]
  C.this.J[Int]              D[A1]                      D[A1]#J[Int]
  C.this.J[Int]              D[T3]                      D[T3]#J[Int]
  C.this.J[List[Int]]        C[List[T3]]                C[List[T3]]#J[List[Int]]
  C.this.J[List[Int]]        C[T1]                      C[T1]#J[List[Int]]
  C.this.J[List[Int]]        D[A1]                      D[A1]#J[List[Int]]
  C.this.J[List[Int]]        D[T3]                      D[T3]#J[List[Int]]
  C.this.J[T1]               C[List[T3]]                C[List[T3]]#J[List[T3]]
  C.this.J[T1]               C[T1]                      C[T1]#J[T1]
  C.this.J[T1]               D[A1]                      D[A1]#J[A1]
  C.this.J[T1]               D[T3]                      D[T3]#J[T3]
  C.this.J[T2]               C[List[T3]]                C[List[T3]]#J[T2]
  C.this.J[T2]               C[T1]                      C[T1]#J[T2]
  C.this.J[T2]               D[A1]                      D[A1]#J[T2]
  C.this.J[T2]               D[T3]                      D[T3]#J[T2]
  C.this.J[T3]               C[List[T3]]                C[List[T3]]#J[T3]
  C.this.J[T3]               C[T1]                      C[T1]#J[T3]
  C.this.J[T3]               D[A1]                      D[A1]#J[T3]
  C.this.J[T3]               D[T3]                      D[T3]#J[T3]
  C.this.J[T4]               C[List[T3]]                C[List[T3]]#J[T4]
  C.this.J[T4]               C[T1]                      C[T1]#J[T4]
  C.this.J[T4]               D[A1]                      D[A1]#J[T4]
  C.this.J[T4]               D[T3]                      D[T3]#J[T4]
  C[List[T3]]#I[T1]          D[A1]                      C[List[T3]]#I[A1]
  C[List[T3]]#I[T1]          D[T3]                      C[List[T3]]#I[T3]
  C[List[T3]]#J[T1]          D[A1]                      C[List[T3]]#J[A1]
  C[List[T3]]#J[T1]          D[T3]                      C[List[T3]]#J[T3]
  C[T1]#I[Int]               C[List[T3]]                C[List[T3]]#I[Int]
  C[T1]#I[Int]               D[A1]                      C[A1]#I[Int]
  C[T1]#I[Int]               D[T3]                      C[T3]#I[Int]
  C[T1]#I[List[Int]]         C[List[T3]]                C[List[T3]]#I[List[Int]]
  C[T1]#I[List[Int]]         D[A1]                      C[A1]#I[List[Int]]
  C[T1]#I[List[Int]]         D[T3]                      C[T3]#I[List[Int]]
  C[T1]#I[T1]                C[List[T3]]                C[List[T3]]#I[List[T3]]
  C[T1]#I[T1]                D[A1]                      C[A1]#I[A1]
  C[T1]#I[T1]                D[T3]                      C[T3]#I[T3]
  C[T1]#I[T2]                C[List[T3]]                C[List[T3]]#I[T2]
  C[T1]#I[T2]                D[A1]                      C[A1]#I[T2]
  C[T1]#I[T2]                D[T3]                      C[T3]#I[T2]
  C[T1]#I[T3]                C[List[T3]]                C[List[T3]]#I[T3]
  C[T1]#I[T3]                D[A1]                      C[A1]#I[T3]
  C[T1]#I[T3]                D[T3]                      C[T3]#I[T3]
  C[T1]#I[T4]                C[List[T3]]                C[List[T3]]#I[T4]
  C[T1]#I[T4]                D[A1]                      C[A1]#I[T4]
  C[T1]#I[T4]                D[T3]                      C[T3]#I[T4]
  C[T1]#J[Int]               C[List[T3]]                C[List[T3]]#J[Int]
  C[T1]#J[Int]               D[A1]                      C[A1]#J[Int]
  C[T1]#J[Int]               D[T3]                      C[T3]#J[Int]
  C[T1]#J[List[Int]]         C[List[T3]]                C[List[T3]]#J[List[Int]]
  C[T1]#J[List[Int]]         D[A1]                      C[A1]#J[List[Int]]
  C[T1]#J[List[Int]]         D[T3]                      C[T3]#J[List[Int]]
  C[T1]#J[T1]                C[List[T3]]                C[List[T3]]#J[List[T3]]
  C[T1]#J[T1]                D[A1]                      C[A1]#J[A1]
  C[T1]#J[T1]                D[T3]                      C[T3]#J[T3]
  C[T1]#J[T2]                C[List[T3]]                C[List[T3]]#J[T2]
  C[T1]#J[T2]                D[A1]                      C[A1]#J[T2]
  C[T1]#J[T2]                D[T3]                      C[T3]#J[T2]
  C[T1]#J[T3]                C[List[T3]]                C[List[T3]]#J[T3]
  C[T1]#J[T3]                D[A1]                      C[A1]#J[T3]
  C[T1]#J[T3]                D[T3]                      C[T3]#J[T3]
  C[T1]#J[T4]                C[List[T3]]                C[List[T3]]#J[T4]
  C[T1]#J[T4]                D[A1]                      C[A1]#J[T4]
  C[T1]#J[T4]                D[T3]                      C[T3]#J[T4]
  D[T3]#J[T1]                C[List[T3]]                D[T3]#J[List[T3]]
  D[T3]#J[T1]                D[A1]                      D[T3]#J[A1]
  D[A1]#J[T1]                C[List[T3]]                D[A1]#J[List[T3]]
  D[A1]#J[T1]                D[T3]                      D[A1]#J[T3]
}
class D {
  type                       seen from prefix           is
  ----                       ----------------           --
  C.this.I[T3]               D[A1]                      C.this.I[A1]
  C.this.J[T3]               D[A1]                      C.this.J[A1]
  C[List[T3]]#I[Int]         D[A1]                      C[List[A1]]#I[Int]
  C[List[T3]]#I[List[Int]]   D[A1]                      C[List[A1]]#I[List[Int]]
  C[List[T3]]#I[T1]          D[A1]                      C[List[A1]]#I[T1]
  C[List[T3]]#I[T2]          D[A1]                      C[List[A1]]#I[T2]
  C[List[T3]]#I[T3]          D[A1]                      C[List[A1]]#I[A1]
  C[List[T3]]#I[T4]          D[A1]                      C[List[A1]]#I[T4]
  C[List[T3]]#J[Int]         D[A1]                      C[List[A1]]#J[Int]
  C[List[T3]]#J[List[Int]]   D[A1]                      C[List[A1]]#J[List[Int]]
  C[List[T3]]#J[T1]          D[A1]                      C[List[A1]]#J[T1]
  C[List[T3]]#J[T2]          D[A1]                      C[List[A1]]#J[T2]
  C[List[T3]]#J[T3]          D[A1]                      C[List[A1]]#J[A1]
  C[List[T3]]#J[T4]          D[A1]                      C[List[A1]]#J[T4]
  C[T1]#I[T3]                D[A1]                      C[T1]#I[A1]
  C[T1]#J[T3]                D[A1]                      C[T1]#J[A1]
  D[T3]#J[Int]               D[A1]                      D[A1]#J[Int]
  D[T3]#J[List[Int]]         D[A1]                      D[A1]#J[List[Int]]
  D[T3]#J[T1]                D[A1]                      D[A1]#J[T1]
  D[T3]#J[T2]                D[A1]                      D[A1]#J[T2]
  D[T3]#J[T3]                D[A1]                      D[A1]#J[A1]
  D[T3]#J[T4]                D[A1]                      D[A1]#J[T4]
}
class I {
  type                       seen from prefix           is
  ----                       ----------------           --
  C.this.I[Int]              D.this.J[T4]               D.this.cD.I[Int]
  C.this.I[Int]              Z.dZ.J[A2]                 Z.dZ.cD.I[Int]
  C.this.I[Int]              Z.dZ.J[P]                  Z.dZ.cD.I[Int]
  C.this.I[List[Int]]        D.this.J[T4]               D.this.cD.I[List[Int]]
  C.this.I[List[Int]]        Z.dZ.J[A2]                 Z.dZ.cD.I[List[Int]]
  C.this.I[List[Int]]        Z.dZ.J[P]                  Z.dZ.cD.I[List[Int]]
  C.this.I[T1]               D.this.J[T4]               D.this.cD.I[List[T3]]
  C.this.I[T1]               Z.dZ.J[A2]                 Z.dZ.cD.I[List[A1]]
  C.this.I[T1]               Z.dZ.J[P]                  Z.dZ.cD.I[List[A1]]
  C.this.I[T2]               D.this.J[T4]               D.this.cD.I[T4]
  C.this.I[T2]               Z.dZ.J[A2]                 Z.dZ.cD.I[A2]
  C.this.I[T2]               Z.dZ.J[P]                  Z.dZ.cD.I[P]
  C.this.I[T3]               D.this.J[T4]               D.this.cD.I[T3]
  C.this.I[T3]               Z.dZ.J[A2]                 Z.dZ.cD.I[T3]
  C.this.I[T3]               Z.dZ.J[P]                  Z.dZ.cD.I[T3]
  C.this.I[T4]               D.this.J[T4]               D.this.cD.I[T4]
  C.this.I[T4]               Z.dZ.J[A2]                 Z.dZ.cD.I[T4]
  C.this.I[T4]               Z.dZ.J[P]                  Z.dZ.cD.I[T4]
  C.this.J[Int]              D.this.J[T4]               D.this.cD.J[Int]
  C.this.J[Int]              Z.dZ.J[A2]                 Z.dZ.cD.J[Int]
  C.this.J[Int]              Z.dZ.J[P]                  Z.dZ.cD.J[Int]
  C.this.J[List[Int]]        D.this.J[T4]               D.this.cD.J[List[Int]]
  C.this.J[List[Int]]        Z.dZ.J[A2]                 Z.dZ.cD.J[List[Int]]
  C.this.J[List[Int]]        Z.dZ.J[P]                  Z.dZ.cD.J[List[Int]]
  C.this.J[T1]               D.this.J[T4]               D.this.cD.J[List[T3]]
  C.this.J[T1]               Z.dZ.J[A2]                 Z.dZ.cD.J[List[A1]]
  C.this.J[T1]               Z.dZ.J[P]                  Z.dZ.cD.J[List[A1]]
  C.this.J[T2]               D.this.J[T4]               D.this.cD.J[T4]
  C.this.J[T2]               Z.dZ.J[A2]                 Z.dZ.cD.J[A2]
  C.this.J[T2]               Z.dZ.J[P]                  Z.dZ.cD.J[P]
  C.this.J[T3]               D.this.J[T4]               D.this.cD.J[T3]
  C.this.J[T3]               Z.dZ.J[A2]                 Z.dZ.cD.J[T3]
  C.this.J[T3]               Z.dZ.J[P]                  Z.dZ.cD.J[T3]
  C.this.J[T4]               D.this.J[T4]               D.this.cD.J[T4]
  C.this.J[T4]               Z.dZ.J[A2]                 Z.dZ.cD.J[T4]
  C.this.J[T4]               Z.dZ.J[P]                  Z.dZ.cD.J[T4]
  C[List[T3]]#I[T1]          D.this.J[T4]               C[List[T3]]#I[List[T3]]
  C[List[T3]]#I[T1]          Z.dZ.J[A2]                 C[List[T3]]#I[List[A1]]
  C[List[T3]]#I[T1]          Z.dZ.J[P]                  C[List[T3]]#I[List[A1]]
  C[List[T3]]#I[T2]          D.this.J[T4]               C[List[T3]]#I[T4]
  C[List[T3]]#I[T2]          Z.dZ.J[A2]                 C[List[T3]]#I[A2]
  C[List[T3]]#I[T2]          Z.dZ.J[P]                  C[List[T3]]#I[P]
  C[List[T3]]#J[T1]          D.this.J[T4]               C[List[T3]]#J[List[T3]]
  C[List[T3]]#J[T1]          Z.dZ.J[A2]                 C[List[T3]]#J[List[A1]]
  C[List[T3]]#J[T1]          Z.dZ.J[P]                  C[List[T3]]#J[List[A1]]
  C[List[T3]]#J[T2]          D.this.J[T4]               C[List[T3]]#J[T4]
  C[List[T3]]#J[T2]          Z.dZ.J[A2]                 C[List[T3]]#J[A2]
  C[List[T3]]#J[T2]          Z.dZ.J[P]                  C[List[T3]]#J[P]
  C[T1]#I[Int]               D.this.J[T4]               C[List[T3]]#I[Int]
  C[T1]#I[Int]               Z.dZ.J[A2]                 C[List[A1]]#I[Int]
  C[T1]#I[Int]               Z.dZ.J[P]                  C[List[A1]]#I[Int]
  C[T1]#I[List[Int]]         D.this.J[T4]               C[List[T3]]#I[List[Int]]
  C[T1]#I[List[Int]]         Z.dZ.J[A2]                 C[List[A1]]#I[List[Int]]
  C[T1]#I[List[Int]]         Z.dZ.J[P]                  C[List[A1]]#I[List[Int]]
  C[T1]#I[T1]                D.this.J[T4]               C[List[T3]]#I[List[T3]]
  C[T1]#I[T1]                Z.dZ.J[A2]                 C[List[A1]]#I[List[A1]]
  C[T1]#I[T1]                Z.dZ.J[P]                  C[List[A1]]#I[List[A1]]
  C[T1]#I[T2]                D.this.J[T4]               C[List[T3]]#I[T4]
  C[T1]#I[T2]                Z.dZ.J[A2]                 C[List[A1]]#I[A2]
  C[T1]#I[T2]                Z.dZ.J[P]                  C[List[A1]]#I[P]
  C[T1]#I[T3]                D.this.J[T4]               C[List[T3]]#I[T3]
  C[T1]#I[T3]                Z.dZ.J[A2]                 C[List[A1]]#I[T3]
  C[T1]#I[T3]                Z.dZ.J[P]                  C[List[A1]]#I[T3]
  C[T1]#I[T4]                D.this.J[T4]               C[List[T3]]#I[T4]
  C[T1]#I[T4]                Z.dZ.J[A2]                 C[List[A1]]#I[T4]
  C[T1]#I[T4]                Z.dZ.J[P]                  C[List[A1]]#I[T4]
  C[T1]#J[Int]               D.this.J[T4]               C[List[T3]]#J[Int]
  C[T1]#J[Int]               Z.dZ.J[A2]                 C[List[A1]]#J[Int]
  C[T1]#J[Int]               Z.dZ.J[P]                  C[List[A1]]#J[Int]
  C[T1]#J[List[Int]]         D.this.J[T4]               C[List[T3]]#J[List[Int]]
  C[T1]#J[List[Int]]         Z.dZ.J[A2]                 C[List[A1]]#J[List[Int]]
  C[T1]#J[List[Int]]         Z.dZ.J[P]                  C[List[A1]]#J[List[Int]]
  C[T1]#J[T1]                D.this.J[T4]               C[List[T3]]#J[List[T3]]
  C[T1]#J[T1]                Z.dZ.J[A2]                 C[List[A1]]#J[List[A1]]
  C[T1]#J[T1]                Z.dZ.J[P]                  C[List[A1]]#J[List[A1]]
  C[T1]#J[T2]                D.this.J[T4]               C[List[T3]]#J[T4]
  C[T1]#J[T2]                Z.dZ.J[A2]                 C[List[A1]]#J[A2]
  C[T1]#J[T2]                Z.dZ.J[P]                  C[List[A1]]#J[P]
  C[T1]#J[T3]                D.this.J[T4]               C[List[T3]]#J[T3]
  C[T1]#J[T3]                Z.dZ.J[A2]                 C[List[A1]]#J[T3]
  C[T1]#J[T3]                Z.dZ.J[P]                  C[List[A1]]#J[T3]
  C[T1]#J[T4]                D.this.J[T4]               C[List[T3]]#J[T4]
  C[T1]#J[T4]                Z.dZ.J[A2]                 C[List[A1]]#J[T4]
  C[T1]#J[T4]                Z.dZ.J[P]                  C[List[A1]]#J[T4]
  D[T3]#J[T1]                D.this.J[T4]               D[T3]#J[List[T3]]
  D[T3]#J[T1]                Z.dZ.J[A2]                 D[T3]#J[List[A1]]
  D[T3]#J[T1]                Z.dZ.J[P]                  D[T3]#J[List[A1]]
  D[T3]#J[T2]                D.this.J[T4]               D[T3]#J[T4]
  D[T3]#J[T2]                Z.dZ.J[A2]                 D[T3]#J[A2]
  D[T3]#J[T2]                Z.dZ.J[P]                  D[T3]#J[P]
  D[A1]#J[T1]                D.this.J[T4]               D[A1]#J[List[T3]]
  D[A1]#J[T1]                Z.dZ.J[A2]                 D[A1]#J[List[A1]]
  D[A1]#J[T1]                Z.dZ.J[P]                  D[A1]#J[List[A1]]
  D[A1]#J[T2]                D.this.J[T4]               D[A1]#J[T4]
  D[A1]#J[T2]                Z.dZ.J[A2]                 D[A1]#J[A2]
  D[A1]#J[T2]                Z.dZ.J[P]                  D[A1]#J[P]
}
class J {
  type                       seen from prefix           is
  ----                       ----------------           --
  C.this.I[T3]               Z.dZ.J[A2]                 C.this.I[A1]
  C.this.I[T3]               Z.dZ.J[P]                  C.this.I[A1]
  C.this.I[T4]               Z.dZ.J[A2]                 C.this.I[A2]
  C.this.I[T4]               Z.dZ.J[P]                  C.this.I[P]
  C.this.J[T3]               Z.dZ.J[A2]                 C.this.J[A1]
  C.this.J[T3]               Z.dZ.J[P]                  C.this.J[A1]
  C.this.J[T4]               Z.dZ.J[A2]                 C.this.J[A2]
  C.this.J[T4]               Z.dZ.J[P]                  C.this.J[P]
  C[List[T3]]#I[Int]         Z.dZ.J[A2]                 C[List[A1]]#I[Int]
  C[List[T3]]#I[Int]         Z.dZ.J[P]                  C[List[A1]]#I[Int]
  C[List[T3]]#I[List[Int]]   Z.dZ.J[A2]                 C[List[A1]]#I[List[Int]]
  C[List[T3]]#I[List[Int]]   Z.dZ.J[P]                  C[List[A1]]#I[List[Int]]
  C[List[T3]]#I[T1]          Z.dZ.J[A2]                 C[List[A1]]#I[T1]
  C[List[T3]]#I[T1]          Z.dZ.J[P]                  C[List[A1]]#I[T1]
  C[List[T3]]#I[T2]          Z.dZ.J[A2]                 C[List[A1]]#I[T2]
  C[List[T3]]#I[T2]          Z.dZ.J[P]                  C[List[A1]]#I[T2]
  C[List[T3]]#I[T3]          Z.dZ.J[A2]                 C[List[A1]]#I[A1]
  C[List[T3]]#I[T3]          Z.dZ.J[P]                  C[List[A1]]#I[A1]
  C[List[T3]]#I[T4]          Z.dZ.J[A2]                 C[List[A1]]#I[A2]
  C[List[T3]]#I[T4]          Z.dZ.J[P]                  C[List[A1]]#I[P]
  C[List[T3]]#J[Int]         Z.dZ.J[A2]                 C[List[A1]]#J[Int]
  C[List[T3]]#J[Int]         Z.dZ.J[P]                  C[List[A1]]#J[Int]
  C[List[T3]]#J[List[Int]]   Z.dZ.J[A2]                 C[List[A1]]#J[List[Int]]
  C[List[T3]]#J[List[Int]]   Z.dZ.J[P]                  C[List[A1]]#J[List[Int]]
  C[List[T3]]#J[T1]          Z.dZ.J[A2]                 C[List[A1]]#J[T1]
  C[List[T3]]#J[T1]          Z.dZ.J[P]                  C[List[A1]]#J[T1]
  C[List[T3]]#J[T2]          Z.dZ.J[A2]                 C[List[A1]]#J[T2]
  C[List[T3]]#J[T2]          Z.dZ.J[P]                  C[List[A1]]#J[T2]
  C[List[T3]]#J[T3]          Z.dZ.J[A2]                 C[List[A1]]#J[A1]
  C[List[T3]]#J[T3]          Z.dZ.J[P]                  C[List[A1]]#J[A1]
  C[List[T3]]#J[T4]          Z.dZ.J[A2]                 C[List[A1]]#J[A2]
  C[List[T3]]#J[T4]          Z.dZ.J[P]                  C[List[A1]]#J[P]
  C[T1]#I[T3]                Z.dZ.J[A2]                 C[T1]#I[A1]
  C[T1]#I[T3]                Z.dZ.J[P]                  C[T1]#I[A1]
  C[T1]#I[T4]                Z.dZ.J[A2]                 C[T1]#I[A2]
  C[T1]#I[T4]                Z.dZ.J[P]                  C[T1]#I[P]
  C[T1]#J[T3]                Z.dZ.J[A2]                 C[T1]#J[A1]
  C[T1]#J[T3]                Z.dZ.J[P]                  C[T1]#J[A1]
  C[T1]#J[T4]                Z.dZ.J[A2]                 C[T1]#J[A2]
  C[T1]#J[T4]                Z.dZ.J[P]                  C[T1]#J[P]
  D[T3]#J[Int]               Z.dZ.J[A2]                 D[A1]#J[Int]
  D[T3]#J[Int]               Z.dZ.J[P]                  D[A1]#J[Int]
  D[T3]#J[List[Int]]         Z.dZ.J[A2]                 D[A1]#J[List[Int]]
  D[T3]#J[List[Int]]         Z.dZ.J[P]                  D[A1]#J[List[Int]]
  D[T3]#J[T1]                Z.dZ.J[A2]                 D[A1]#J[T1]
  D[T3]#J[T1]                Z.dZ.J[P]                  D[A1]#J[T1]
  D[T3]#J[T2]                Z.dZ.J[A2]                 D[A1]#J[T2]
  D[T3]#J[T2]                Z.dZ.J[P]                  D[A1]#J[T2]
  D[T3]#J[T3]                Z.dZ.J[A2]                 D[A1]#J[A1]
  D[T3]#J[T3]                Z.dZ.J[P]                  D[A1]#J[A1]
  D[T3]#J[T4]                Z.dZ.J[A2]                 D[A1]#J[A2]
  D[T3]#J[T4]                Z.dZ.J[P]                  D[A1]#J[P]
  D[A1]#J[T3]                Z.dZ.J[A2]                 D[A1]#J[A1]
  D[A1]#J[T3]                Z.dZ.J[P]                  D[A1]#J[A1]
  D[A1]#J[T4]                Z.dZ.J[A2]                 D[A1]#J[A2]
  D[A1]#J[T4]                Z.dZ.J[P]                  D[A1]#J[P]
}
class D { // after parser
  private[this] val cD: ll.C[List[T3]]
  val cD: ll.C[List[T3]]
}

class D { // after uncurry
  private[this] val cD: ll.C[List[T3]]
  val cD(): ll.C[List[T3]]
}

class D { // after erasure
  private[this] val cD: ll.C
  val cD(): ll.C
}

object Z { // after parser
  def kz[P <: ll.Z.dZ.J[ll.A2]]: ll.Z.dZ.J[P]
  private[this] val jZ: ll.Z.dZ.J[ll.A2]
  val jZ: ll.Z.dZ.J[ll.A2]
  private[this] val dZ: ll.D[ll.A1]
  val dZ: ll.D[ll.A1]
}

object Z { // after uncurry
  def kz[P <: ll.Z.dZ.J[ll.A2]](): ll.Z.dZ.J[P]
  private[this] val jZ: ll.Z.dZ.J[ll.A2]
  val jZ(): ll.Z.dZ.J[ll.A2]
  private[this] val dZ: ll.D[ll.A1]
  val dZ(): ll.D[ll.A1]
}

object Z { // after erasure
  def kz(): ll.D#J
  private[this] val jZ: ll.D#J
  val jZ(): ll.D#J
  private[this] val dZ: ll.D
  val dZ(): ll.D
}

object Z { // after flatten
  def kz(): ll.D#D$J
  private[this] val jZ: ll.D#D$J
  val jZ(): ll.D#D$J
  private[this] val dZ: ll.D
  val dZ(): ll.D
}

value dZ { // after parser
  private[this] val cD: ll.C[List[T3]]
  val cD: ll.C[List[T3]]
}

value dZ { // after parser
  private[this] val cD: ll.C[List[T3]]
  val cD: ll.C[List[T3]]
}

value dZ { // after uncurry
  private[this] val cD: ll.C[List[T3]]
  val cD(): ll.C[List[T3]]
}

value dZ { // after erasure
  private[this] val cD: ll.C
  val cD(): ll.C
}

value jZ { // after parser
  def thisI(): I.this.type
  def thisC(): C.this.type
  def t2(): T2
  def t1(): T1
}

value jZ { // after parser
  def thisI(): I.this.type
  def thisC(): C.this.type
  def t2(): T2
  def t1(): T1
}

value jZ { // after explicitouter
  protected val $outer: D.this.type
  val $outer(): D.this.type
  val $outer(): C.this.type
  def thisI(): I.this.type
  def thisC(): C.this.type
  def t2(): T2
  def t1(): T1
}

value jZ { // after erasure
  protected val $outer: ll.D
  val $outer(): ll.D
  protected val $outer: ll.C
  val $outer(): ll.C
  def thisI(): ll.C#I
  def thisC(): ll.C
  def t2(): Object
  def t1(): Object
}

value jZ { // after flatten
  protected val $outer: ll.D
  val $outer(): ll.D
  protected val $outer: ll.C
  val $outer(): ll.C
  def thisI(): ll.C#C$I
  def thisC(): ll.C
  def t2(): Object
  def t1(): Object
}

method kz { // after parser
  def thisI(): I.this.type
  def thisC(): C.this.type
  def t2(): T2
  def t1(): T1
}

value $outer { // after parser
  private[this] val cD: ll.C[List[T3]]
  val cD: ll.C[List[T3]]
}

value $outer { // after uncurry
  private[this] val cD: ll.C[List[T3]]
  val cD(): ll.C[List[T3]]
}

value $outer { // after erasure
  private[this] val cD: ll.C
  val cD(): ll.C
}