hphp/hack/test/typecheck/bad_type_structure_shape.php.exp

   1 File "bad_type_structure_shape.php", line 4, characters 3-22:
   2   TypeStructureKind
   3 File "bad_type_structure_shape.php", line 5, characters 3-23:
   4   ?string
   5 File "bad_type_structure_shape.php", line 6, characters 3-22:
   6   ?string
   7 File "bad_type_structure_shape.php", line 7, characters 3-24:
   8   shape(...)
   9 File "bad_type_structure_shape.php", line 10, characters 3-27:
  10   err
  11 File "bad_type_structure_shape.php", line 11, characters 3-26:
  12   err
  13 File "bad_type_structure_shape.php", line 12, characters 3-28:
  14   err
  15 File "bad_type_structure_shape.php", line 13, characters 3-29:
  16   err
  17 File "bad_type_structure_shape.php", line 14, characters 3-29:
  18   err
  19 File "bad_type_structure_shape.php", line 15, characters 3-31:
  20   err
  21 File "bad_type_structure_shape.php", line 18, characters 3-22:
  22   TypeStructureKind
  23 File "bad_type_structure_shape.php", line 22, characters 3-22:
  24   TypeStructureKind
  25 File "bad_type_structure_shape.php", line 23, characters 3-23:
  26   ?string
  27 File "bad_type_structure_shape.php", line 24, characters 3-22:
  28   ?string
  29 File "bad_type_structure_shape.php", line 25, characters 3-24:
  30   shape(...)
  31 File "bad_type_structure_shape.php", line 28, characters 3-27:
  32   err
  33 File "bad_type_structure_shape.php", line 29, characters 3-26:
  34   err
  35 File "bad_type_structure_shape.php", line 30, characters 3-28:
  36   err
  37 File "bad_type_structure_shape.php", line 31, characters 3-29:
  38   err
  39 File "bad_type_structure_shape.php", line 32, characters 3-29:
  40   err
  41 File "bad_type_structure_shape.php", line 33, characters 3-31:
  42   ?vec<_>
  43 File "bad_type_structure_shape.php", line 36, characters 3-22:
  44   TypeStructureKind
  45 File "bad_type_structure_shape.php", line 10, characters 15-25:
  46 The field `classname` is undefined (Typing[4108])
  47   File "typestructure.hhi", line 55, characters 29-698:
  48   Definition is here
  49 File "bad_type_structure_shape.php", line 11, characters 15-24:
  50 The field `nullable` is undefined (Typing[4108])
  51   File "typestructure.hhi", line 55, characters 29-698:
  52   Definition is here
  53 File "bad_type_structure_shape.php", line 12, characters 15-26:
  54 The field `elem_types` is undefined (Typing[4108])
  55   File "typestructure.hhi", line 55, characters 29-698:
  56   Definition is here
  57 File "bad_type_structure_shape.php", line 13, characters 15-27:
  58 The field `param_types` is undefined (Typing[4108])
  59   File "typestructure.hhi", line 55, characters 29-698:
  60   Definition is here
  61 File "bad_type_structure_shape.php", line 14, characters 15-27:
  62 The field `return_type` is undefined (Typing[4108])
  63   File "typestructure.hhi", line 55, characters 29-698:
  64   Definition is here
  65 File "bad_type_structure_shape.php", line 15, characters 15-29:
  66 The field `generic_types` is undefined (Typing[4108])
  67   File "typestructure.hhi", line 55, characters 29-698:
  68   Definition is here
  69 File "bad_type_structure_shape.php", line 28, characters 15-25:
  70 The field `classname` is undefined (Typing[4108])
  71   File "typestructure.hhi", line 55, characters 29-698:
  72   Definition is here
  73 File "bad_type_structure_shape.php", line 29, characters 15-24:
  74 The field `nullable` is undefined (Typing[4108])
  75   File "typestructure.hhi", line 55, characters 29-698:
  76   Definition is here
  77 File "bad_type_structure_shape.php", line 30, characters 15-26:
  78 The field `elem_types` is undefined (Typing[4108])
  79   File "typestructure.hhi", line 55, characters 29-698:
  80   Definition is here
  81 File "bad_type_structure_shape.php", line 31, characters 15-27:
  82 The field `param_types` is undefined (Typing[4108])
  83   File "typestructure.hhi", line 55, characters 29-698:
  84   Definition is here
  85 File "bad_type_structure_shape.php", line 32, characters 15-27:
  86 The field `return_type` is undefined (Typing[4108])
  87   File "typestructure.hhi", line 55, characters 29-698:
  88   Definition is here