No error on use of `unsafe_cast`

[hiphop-php.git] / hphp / hack / test / typecheck / constraint_newtype_param_type.php.exp

File "constraint_newtype_param_type.php--a.php", line 6, characters 25-28:
Some type arguments violate their constraints (Typing[4323])
  File "constraint_newtype_param_type.php--a.php", line 3, characters 11-11:
  `T` is a constrained type parameter
  File "constraint_newtype_param_type.php--a.php", line 3, characters 16-23:
  This type constraint is violated
  File "constraint_newtype_param_type.php--a.php", line 3, characters 16-23:
  Expected `arraykey`
  File "constraint_newtype_param_type.php--a.php", line 6, characters 27-27:
  But got `T`
  File "constraint_newtype_param_type.php--a.php", line 4, characters 15-15:
    via this generic `T`