hphp/hack/test/requireclass/typing/requireclass_hierarchy_02.bad.php.rupro_folded_decl.exp

   1 --- ocaml
   2 +++ rupro
   3 @@ -1,76 +1,64 @@
   4  FoldedClass {
   5      name: "\\T",
   6      pos: Pos(root|requireclass_hierarchy_02.bad.php, 6:7-8),
   7      kind: Ctrait,
   8      consts: {
   9          "class": ClassConst {
  10              is_synthesized: true,
  11              kind: CCConcrete,
  12              pos: Pos(root|requireclass_hierarchy_02.bad.php, 6:7-8),
  13              ty: HH\classname<this>,
  14              origin: "\\T",
  15              refs: [],
  16          },
  17      },
  18 -    req_class_ancestors: [
  19 -        Requirement(
  20 -            Pos(root|requireclass_hierarchy_02.bad.php, 7:17-18),
  21 -            C,
  22 -        ),
  23 -    ],
  24  }
  25  FoldedClass {
  26      name: "\\C",
  27      pos: Pos(root|requireclass_hierarchy_02.bad.php, 10:7-8),
  28      kind: Cclass(
  29          Concrete,
  30      ),
  31      consts: {
  32          "class": ClassConst {
  33              is_synthesized: true,
  34              kind: CCConcrete,
  35              pos: Pos(root|requireclass_hierarchy_02.bad.php, 10:7-8),
  36              ty: HH\classname<this>,
  37              origin: "\\C",
  38              refs: [],
  39          },
  40      },
  41  }
  42  FoldedClass {
  43      name: "\\D",
  44      pos: Pos(root|requireclass_hierarchy_02.bad.php, 12:7-8),
  45      kind: Cclass(
  46          Concrete,
  47      ),
  48      substs: {
  49          "\\T": SubstContext {
  50              subst: Subst(
  51                  {},
  52              ),
  53              class_context: "\\D",
  54              from_req_extends: false,
  55          },
  56      },
  57      ancestors: {
  58          "\\T": T,
  59      },
  60      consts: {
  61          "class": ClassConst {
  62              is_synthesized: true,
  63              kind: CCConcrete,
  64              pos: Pos(root|requireclass_hierarchy_02.bad.php, 12:7-8),
  65              ty: HH\classname<this>,
  66              origin: "\\D",
  67              refs: [],
  68          },
  69      },
  70      extends: {
  71          "\\T",
  72      },
  73 -    req_class_ancestors: [
  74 -        Requirement(
  75 -            Pos(root|requireclass_hierarchy_02.bad.php, 13:7-8),
  76 -            C,
  77 -        ),
  78 -    ],
  79  }