hphp/hack/test/typecheck/new_inference/index_array_bad.php.exp

   1 File "index_array_bad.php", line 8, characters 3-18:
   2 Some type arguments violate their constraints (Typing[4323])
   3   File "hackarray.hhi", line 24, characters 28-29:
   4   `Tk` is a constrained type parameter
   5   File "hackarray.hhi", line 24, characters 34-41:
   6   This type constraint is violated
   7   File "hackarray.hhi", line 24, characters 34-41:
   8   Expected `arraykey`
   9   File "index_array_bad.php", line 8, characters 8-12:
  10   But got `mixed`
  11 File "index_array_bad.php", line 15, characters 8-14:
  12 Invalid index type for this dict (Typing[4449])
  13   File "index_array_bad.php", line 6, characters 8-10:
  14   This is an int
  15   File "index_array_bad.php", line 15, characters 11-13:
  16   It is incompatible with a string
  17 File "index_array_bad.php", line 16, characters 8-15:
  18 Invalid index type for this dict (Typing[4449])
  19   File "index_array_bad.php", line 7, characters 10-12:
  20   This is an int
  21   File "index_array_bad.php", line 16, characters 12-14:
  22   It is incompatible with a string
  23 File "index_array_bad.php", line 18, characters 9-18:
  24 This value is not a valid key type for this container (Typing[4298])
  25   File "index_array_bad.php", line 8, characters 3-18:
  26   This container is an object of type dict<mixed, bool>
  27   File "index_array_bad.php", line 18, characters 13-17:
  28   A bool cannot be used as a key for an object of type dict<mixed, bool>
  29 File "index_array_bad.php", line 19, characters 9-16:
  30 Invalid index type for this KeyedContainer (Typing[4324])
  31   File "index_array_bad.php", line 9, characters 18-20:
  32   This is an int
  33   File "index_array_bad.php", line 19, characters 13-15:
  34   It is incompatible with a string
  35 File "index_array_bad.php", line 20, characters 9-16:
  36 Invalid index type for this ConstMap (Typing[4324])
  37   File "index_array_bad.php", line 10, characters 12-14:
  38   This is an int
  39   File "index_array_bad.php", line 20, characters 13-15:
  40   It is incompatible with a string
  41 File "index_array_bad.php", line 22, characters 8-14:
  42 This value is not a valid key type for this container (Typing[4298])
  43   File "index_array_bad.php", line 9, characters 3-28:
  44   This container is an object of type KeyedContainer<int, string>
  45   File "index_array_bad.php", line 12, characters 3-7:
  46   A mixed value cannot be used as a key for an object of type KeyedContainer<int, string>
  47 File "index_array_bad.php", line 23, characters 8-14:
  48 This value is not a valid key type for this container (Typing[4298])
  49   File "index_array_bad.php", line 10, characters 3-20:
  50   This container is an object of type ConstMap<int, bool>
  51   File "index_array_bad.php", line 12, characters 3-7:
  52   A mixed value cannot be used as a key for an object of type ConstMap<int, bool>
  53 File "index_array_bad.php", line 24, characters 8-14:
  54 This value is not a valid key type for this container (Typing[4298])
  55   File "index_array_bad.php", line 11, characters 3-20:
  56   This container is an object of type ImmMap<int, mixed>
  57   File "index_array_bad.php", line 12, characters 3-7:
  58   A mixed value cannot be used as a key for an object of type ImmMap<int, mixed>
  59 File "index_array_bad.php", line 32, characters 24-31:
  60 Invalid index type for this KeyedContainer (Typing[4324])
  61   File "index_array_bad.php", line 9, characters 18-20:
  62   This is an int
  63   File "index_array_bad.php", line 32, characters 28-30:
  64   It is incompatible with a string