hphp/hack/test/decl/wildcard_invalid_targ.php.typecheck.exp

   1 ERROR: File "wildcard_invalid_targ.php", line 6, characters 19-19:
   2 Wildcard typehints are not allowed in this position (Naming[2084])
   3 ERROR: File "wildcard_invalid_targ.php", line 7, characters 21-21:
   4 Wildcard typehints are not allowed in this position (Naming[2084])
   5 ERROR: File "wildcard_invalid_targ.php", line 9, characters 19-19:
   6 Wildcard typehints are not allowed in this position (Naming[2084])
   7 ERROR: File "wildcard_invalid_targ.php", line 9, characters 30-30:
   8 Wildcard typehints are not allowed in this position (Naming[2084])
   9 ERROR: File "wildcard_invalid_targ.php", line 6, characters 19-19:
  10 Invalid reified hint (Typing[4305])
  11   File "wildcard_invalid_targ.php", line 6, characters 19-19:
  12   This is a wildcard, it cannot be used as a reified type argument
  13   File "wildcard_invalid_targ.php", line 4, characters 15-16:
  14   `Tc` is reified
  15 ERROR: File "wildcard_invalid_targ.php", line 7, characters 19-22:
  16 Invalid reified hint (Typing[4305])
  17   File "wildcard_invalid_targ.php", line 7, characters 21-21:
  18   This is a wildcard, it cannot be used as a reified type argument
  19   File "wildcard_invalid_targ.php", line 4, characters 15-16:
  20   `Tc` is reified
  21 ERROR: File "wildcard_invalid_targ.php", line 7, characters 21-21:
  22 Invalid reified hint (Typing[4305])
  23   File "wildcard_invalid_targ.php", line 7, characters 21-21:
  24   This is a wildcard, it cannot be used as a reified type argument
  25   File "wildcard_invalid_targ.php", line 4, characters 15-16:
  26   `Tc` is reified
  27 ERROR: File "wildcard_invalid_targ.php", line 9, characters 17-20:
  28 Invalid reified hint (Typing[4305])
  29   File "wildcard_invalid_targ.php", line 9, characters 19-19:
  30   This is a wildcard, it cannot be used as a reified type argument
  31   File "wildcard_invalid_targ.php", line 4, characters 15-16:
  32   `Tc` is reified
  33 ERROR: File "wildcard_invalid_targ.php", line 9, characters 19-19:
  34 Invalid reified hint (Typing[4305])
  35   File "wildcard_invalid_targ.php", line 9, characters 19-19:
  36   This is a wildcard, it cannot be used as a reified type argument
  37   File "wildcard_invalid_targ.php", line 4, characters 15-16:
  38   `Tc` is reified
  39 ERROR: File "wildcard_invalid_targ.php", line 9, characters 30-30:
  40 Invalid reified hint (Typing[4305])
  41   File "wildcard_invalid_targ.php", line 9, characters 30-30:
  42   This is a wildcard, it cannot be used as a reified type argument
  43   File "wildcard_invalid_targ.php", line 4, characters 15-16:
  44   `Tc` is reified