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

   1 File "invalid_arraykey.php", line 6, characters 3-14:
   2 This value is not a valid key type for this container (Typing[4371])
   3   File "invalid_arraykey.php", line 4, characters 8-15:
   4   This container is an object of type dict<string, int>
   5   File "invalid_arraykey.php", line 6, characters 6-9:
   6   Null cannot be used as a key for an object of type dict<string, int>
   7 File "invalid_arraykey.php", line 7, characters 3-13:
   8 This value is not a valid key type for this container (Typing[4371])
   9   File "invalid_arraykey.php", line 4, characters 8-15:
  10   This container is an object of type dict<?string, int>
  11   File "invalid_arraykey.php", line 7, characters 6-8:
  12   A float cannot be used as a key for an object of type dict<?string, int>
  13 File "invalid_arraykey.php", line 11, characters 3-14:
  14 This value is not a valid key type for this container (Typing[4371])
  15   File "invalid_arraykey.php", line 9, characters 8-13:
  16   This container is an object of type dict<string, int>
  17   File "invalid_arraykey.php", line 11, characters 6-9:
  18   Null cannot be used as a key for an object of type dict<string, int>
  19 File "invalid_arraykey.php", line 12, characters 3-13:
  20 This value is not a valid key type for this container (Typing[4371])
  21   File "invalid_arraykey.php", line 9, characters 8-13:
  22   This container is an object of type dict<?string, int>
  23   File "invalid_arraykey.php", line 12, characters 6-8:
  24   A float cannot be used as a key for an object of type dict<?string, int>
  25 File "invalid_arraykey.php", line 16, characters 3-14:
  26 Invalid index type for this Map (Typing[4324])
  27   File "invalid_arraykey.php", line 14, characters 8-12:
  28   Expected `arraykey` because type parameter `Tk` of `HH\Map` could not be determined. Please add explicit type parameters to the invocation of `HH\Map`
  29   File "invalid_arraykey.php", line 16, characters 6-9:
  30   But got `null`
  31 File "invalid_arraykey.php", line 16, characters 3-14:
  32 This value is not a valid key type for this container (Typing[4371])
  33   File "invalid_arraykey.php", line 14, characters 8-12:
  34   This container is an object of type Map<[unresolved], [unresolved]>
  35   File "invalid_arraykey.php", line 16, characters 6-9:
  36   Null cannot be used as a key for an object of type Map<[unresolved], [unresolved]>
  37 File "invalid_arraykey.php", line 17, characters 3-13:
  38 Invalid index type for this Map (Typing[4324])
  39   File "invalid_arraykey.php", line 14, characters 8-12:
  40   Expected `arraykey` because type parameter `Tk` of `HH\Map` could not be determined. Please add explicit type parameters to the invocation of `HH\Map`
  41   File "invalid_arraykey.php", line 17, characters 6-8:
  42   But got `float`
  43 File "invalid_arraykey.php", line 17, characters 3-13:
  44 This value is not a valid key type for this container (Typing[4371])
  45   File "invalid_arraykey.php", line 14, characters 8-12:
  46   This container is an object of type Map<[unresolved], [unresolved]>
  47   File "invalid_arraykey.php", line 17, characters 6-8:
  48   A float cannot be used as a key for an object of type Map<[unresolved], [unresolved]>
  49 File "invalid_arraykey.php", line 21, characters 3-14:
  50 Invalid index type for this Vector (Typing[4324])
  51   File "invalid_arraykey.php", line 21, characters 6-9:
  52   Expected `int` because only `int` can be used to index into a `Vector` or `vec`.
  53   File "invalid_arraykey.php", line 21, characters 6-9:
  54   But got `null`
  55 File "invalid_arraykey.php", line 22, characters 3-13:
  56 Invalid index type for this Vector (Typing[4324])
  57   File "invalid_arraykey.php", line 22, characters 6-8:
  58   Expected `int` because only `int` can be used to index into a `Vector` or `vec`.
  59   File "invalid_arraykey.php", line 22, characters 6-8:
  60   But got `float`
  61 File "invalid_arraykey.php", line 26, characters 3-14:
  62 Invalid index type for this vec (Typing[4324])
  63   File "invalid_arraykey.php", line 26, characters 6-9:
  64   Expected `int` because only `int` can be used to index into a `Vector` or `vec`.
  65   File "invalid_arraykey.php", line 26, characters 6-9:
  66   But got `null`
  67 File "invalid_arraykey.php", line 27, characters 3-13:
  68 Invalid index type for this vec (Typing[4324])
  69   File "invalid_arraykey.php", line 27, characters 6-8:
  70   Expected `int` because only `int` can be used to index into a `Vector` or `vec`.
  71   File "invalid_arraykey.php", line 27, characters 6-8:
  72   But got `float`