opaque.TASTY

**** pickled info of object opaquetypes
Names:
   0: ASTs
   1: <empty>
   2: opaquetypes
   3: opaquetypes[ModuleClass]
   4: <init>
   5: <init>[Signed Signature(List(),opaquetypes$)]
   6: java
   7: lang
   8: java[Qualified . lang]
   9: Object
  10: java[Qualified . lang][Qualified . Object]
  11: <init>[Signed Signature(List(),java.lang.Object)]
  12: _
  13: Unit
  14: scala
  15: Logarithm
  16: Double
  17: Logarithm[ModuleClass]
  18: opaquetypes[ModuleClass][Qualified . Logarithm]
  19: opaquetypes[ModuleClass][Qualified . Logarithm][ModuleClass]
  20: <init>[Signed Signature(List(),opaquetypes$.Logarithm$)]
  21: LogarithmOps
  22: x
  23: foo
  24: +
  25: scala[Qualified . Double]
  26: Int
  27: scala[Qualified . Int]
  28: +[Signed Signature(List(scala.Int),scala.Double)]
  29: SourceFile
  30: annotation
  31: scala[Qualified . annotation]
  32: internal
  33: scala[Qualified . annotation][Qualified . internal]
  34: scala[Qualified . annotation][Qualified . internal][Qualified . SourceFile]
  35: String
  36: java[Qualified . lang][Qualified . String]
  37: <init>[Signed Signature(List(java.lang.String),scala.annotation.internal.SourceFile)]
  38: tests/pos/opaque.scala
  39: Positions
  40: ASTs
  41: <empty>
  42: opaquetypes
  43: opaquetypes[ModuleClass]
  44: <init>
  45: <init>[Signed Signature(List(),opaquetypes$)]
  46: java
  47: lang
  48: java[Qualified . lang]
  49: Object
  50: java[Qualified . lang][Qualified . Object]
  51: <init>[Signed Signature(List(),java.lang.Object)]
  52: _
  53: Unit
  54: scala
  55: Logarithm
  56: Double
  57: Logarithm[ModuleClass]
  58: opaquetypes[ModuleClass][Qualified . Logarithm]
  59: opaquetypes[ModuleClass][Qualified . Logarithm][ModuleClass]
  60: <init>[Signed Signature(List(),opaquetypes$.Logarithm$)]
  61: LogarithmOps
  62: x
  63: foo
  64: +
  65: scala[Qualified . Double]
  66: Int
  67: scala[Qualified . Int]
  68: +[Signed Signature(List(scala.Int),scala.Double)]
  69: SourceFile
  70: annotation
  71: scala[Qualified . annotation]
  72: internal
  73: scala[Qualified . annotation][Qualified . internal]
  74: scala[Qualified . annotation][Qualified . internal][Qualified . SourceFile]
  75: String
  76: java[Qualified . lang][Qualified . String]
  77: <init>[Signed Signature(List(java.lang.String),scala.annotation.internal.SourceFile)]
  78: tests/pos/opaque.scala
  79: Positions

Trees:
start = Addr(0), base = 557, current = Addr(0), end = Addr(185)
185 bytes of AST, base = Addr(0)

     0: PACKAGE(182)
     3:   TERMREFpkg 1 [<empty>]
     5:   VALDEF(17) 2 [opaquetypes]
     8:     IDENTtpt 3 [opaquetypes[ModuleClass]]
    10:       TYPEREFsymbol 24
    12:         THIS
    13:           TYPEREFpkg 1 [<empty>]
    15:     APPLY(5)
    17:       SELECT 5 [<init>[Signed Signature(List(),opaquetypes$)]]
    19:         NEW
    20:           SHAREDterm 8
    22:     OBJECT
    23:     STABLE
    24:   TYPEDEF(158) 3 [opaquetypes[ModuleClass]]
    28:     TEMPLATE(137)
    31:       APPLY(7)
    33:         SELECT 11 [<init>[Signed Signature(List(),java.lang.Object)]]
    35:           NEW
    36:             TYPEREF 9 [Object]
    38:               TERMREFpkg 8 [java[Qualified . lang]]
    40:       SELFDEF 12 [_]
    42:         SINGLETONtpt
    43:           TERMREFsymbol 5
    45:             SHAREDtype 12
    47:       DEFDEF(7) 4 [<init>]
    50:         PARAMS(0)
    52:         TYPEREF 13 [Unit]
    54:           TERMREFpkg 14 [scala]
    56:       TYPEDEF(8) 15 [Logarithm]
    59:         IDENTtpt 16 [Double]
    61:           TYPEREF 16 [Double]
    63:             TERMREFpkg 14 [scala]
    65:         OPAQUE
    66:       VALDEF(17) 15 [Logarithm]
    69:         IDENTtpt 17 [Logarithm[ModuleClass]]
    71:           TYPEREFsymbol 85
    73:             THIS
    74:               SHAREDtype 10
    76:         APPLY(5)
    78:           SELECT 20 [<init>[Signed Signature(List(),opaquetypes$.Logarithm$)]]
    80:             NEW
    81:               SHAREDterm 69
    83:         OBJECT
    84:         STABLE
    85:       TYPEDEF(81) 17 [Logarithm[ModuleClass]]
    88:         TEMPLATE(77)
    90:           APPLY(5)
    92:             SELECT 11 [<init>[Signed Signature(List(),java.lang.Object)]]
    94:               NEW
    95:                 SHAREDtype 36
    97:           SELFDEF 12 [_]
    99:             SINGLETONtpt
   100:               TERMREFsymbol 66
   102:                 SHAREDtype 73
   104:           DEFDEF(5) 4 [<init>]
   107:             PARAMS(0)
   109:             SHAREDtype 52
   111:           TYPEDEF(54) 21 [LogarithmOps]
   114:             TEMPLATE(51)
   116:               PARAM(7) 22 [x]
   119:                 TYPEREFsymbol 56
   121:                   SHAREDtype 73
   123:                 PRIVATE
   124:                 LOCAL
   125:               APPLY(5)
   127:                 SELECT 11 [<init>[Signed Signature(List(),java.lang.Object)]]
   129:                   NEW
   130:                     SHAREDtype 36
   132:               DEFDEF(12) 4 [<init>]
   135:                 PARAMS(7)
   137:                   PARAM(5) 22 [x]
   140:                     IDENTtpt 15 [Logarithm]
   142:                       SHAREDtype 119
   144:                 SHAREDtype 52
   146:               DEFDEF(19) 23 [foo]
   149:                 IDENTtpt 16 [Double]
   151:                   SHAREDtype 61
   153:                 APPLY(12)
   155:                   SELECT 28 [+[Signed Signature(List(scala.Int),scala.Double)]]
   157:                     TERMREFsymbol 116
   159:                       THIS
   160:                         TYPEREFsymbol 111
   162:                           THIS
   163:                             SHAREDtype 71
   165:                   INTconst 1
   167:         OBJECT
   168:     OBJECT
   169:     ANNOTATION(14)
   171:       TYPEREF 29 [SourceFile]
   173:         TERMREFpkg 33 [scala[Qualified . annotation][Qualified . internal]]
   175:       APPLY(8)
   177:         SELECT 37 [<init>[Signed Signature(List(java.lang.String),scala.annotation.internal.SourceFile)]]
   179:           NEW
   180:             SHAREDtype 171
   183:         STRINGconst 38 [tests/pos/opaque.scala]
   185: 112 position bytes:
         0: 1 .. 156
         5: 1 .. 1
         8: 1 .. 1
        24: 1 .. 156
        28: 24 .. 154
        35: 8 .. 19
        36: 8 .. 8
        43: 24 .. 24
        47: 24 .. 24
        52: 24 .. 24
        56: 24 .. 54
        59: 48 .. 54
        66: 57 .. 57
        69: 57 .. 57
        85: 57 .. 154
        88: 80 .. 150
        94: 64 .. 73
        95: 64 .. 64
       100: 80 .. 80
       104: 80 .. 80
       109: 80 .. 80
       111: 80 .. 150
       114: 98 .. 144
       116: 99 .. 111
       119: 102 .. 111
       129: 86 .. 98
       130: 86 .. 86
       132: 98 .. 112
       137: 99 .. 111
       140: 102 .. 111
       144: 111 .. 111
       146: 121 .. 144
       149: 130 .. 136
       155: 139 .. 142
       157: 139 .. 140
       165: 143 .. 144