hphp/hack/test/requireclass/typing/multiple_01.good.php.rupro_folded_decl.exp

   1 --- ocaml
   2 +++ rupro
   3 @@ -1,125 +1,107 @@
   4  FoldedClass {
   5      name: "\\T1",
   6      pos: Pos(root|multiple_01.good.php, 6:7-9),
   7      kind: Ctrait,
   8      methods: {
   9          "foo": FoldedElement {
  10              flags: (empty),
  11              origin: "\\T1",
  12              visibility: Public,
  13              deprecated: None,
  14          },
  15      },
  16      consts: {
  17          "class": ClassConst {
  18              is_synthesized: true,
  19              kind: CCConcrete,
  20              pos: Pos(root|multiple_01.good.php, 6:7-9),
  21              ty: HH\classname<this>,
  22              origin: "\\T1",
  23              refs: [],
  24          },
  25      },
  26 -    req_class_ancestors: [
  27 -        Requirement(
  28 -            Pos(root|multiple_01.good.php, 7:17-18),
  29 -            C,
  30 -        ),
  31 -    ],
  32  }
  33  FoldedClass {
  34      name: "\\T2",
  35      pos: Pos(root|multiple_01.good.php, 14:7-9),
  36      kind: Ctrait,
  37      methods: {
  38          "bar": FoldedElement {
  39              flags: (empty),
  40              origin: "\\T2",
  41              visibility: Public,
  42              deprecated: None,
  43          },
  44      },
  45      consts: {
  46          "class": ClassConst {
  47              is_synthesized: true,
  48              kind: CCConcrete,
  49              pos: Pos(root|multiple_01.good.php, 14:7-9),
  50              ty: HH\classname<this>,
  51              origin: "\\T2",
  52              refs: [],
  53          },
  54      },
  55 -    req_class_ancestors: [
  56 -        Requirement(
  57 -            Pos(root|multiple_01.good.php, 15:17-18),
  58 -            C,
  59 -        ),
  60 -    ],
  61  }
  62  FoldedClass {
  63      name: "\\C",
  64      pos: Pos(root|multiple_01.good.php, 22:7-8),
  65      kind: Cclass(
  66          Concrete,
  67      ),
  68      substs: {
  69          "\\T1": SubstContext {
  70              subst: Subst(
  71                  {},
  72              ),
  73              class_context: "\\C",
  74              from_req_extends: false,
  75          },
  76          "\\T2": SubstContext {
  77              subst: Subst(
  78                  {},
  79              ),
  80              class_context: "\\C",
  81              from_req_extends: false,
  82          },
  83      },
  84      ancestors: {
  85          "\\T1": T1,
  86          "\\T2": T2,
  87      },
  88      methods: {
  89          "bar": FoldedElement {
  90              flags: (empty),
  91              origin: "\\T2",
  92              visibility: Public,
  93              deprecated: None,
  94          },
  95          "foo": FoldedElement {
  96              flags: (empty),
  97              origin: "\\T1",
  98              visibility: Public,
  99              deprecated: None,
 100          },
 101          "gee": FoldedElement {
 102              flags: (empty),
 103              origin: "\\C",
 104              visibility: Public,
 105              deprecated: None,
 106          },
 107      },
 108      consts: {
 109          "class": ClassConst {
 110              is_synthesized: true,
 111              kind: CCConcrete,
 112              pos: Pos(root|multiple_01.good.php, 22:7-8),
 113              ty: HH\classname<this>,
 114              origin: "\\C",
 115              refs: [],
 116          },
 117      },
 118      extends: {
 119          "\\T1",
 120          "\\T2",
 121      },
 122 -    req_class_ancestors: [
 123 -        Requirement(
 124 -            Pos(root|multiple_01.good.php, 23:11-13),
 125 -            C,
 126 -        ),
 127 -    ],
 128  }