test/files/pos/context.scala


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

class Context {
  object symwrap extends SymbolWrapper {
    val context: Context.this.type = Context.this
  }
  object typewrap extends TypeWrapper {
    val context: Context.this.type = Context.this
  }
  object symbols extends symwrap.Symbols;
  object types extends typewrap.Types;
}

abstract class SymbolWrapper {
  val context: Context;
  import context._;

  class Symbols {
    self: context.symbols.type =>

    abstract class Symbol {
      def typ: types.Type;
      def sym: Symbol = typ.sym;
    }
  }
}

abstract class TypeWrapper {
  val context: Context;
  import context._;

  class Types {
    self: context.types.type =>

    abstract class Type {
      def sym: symbols.Symbol;
      def typ: Type = sym.typ;
    }
  }
}