No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / bitwisenot_bad.php.exp
blob5a947106377dadefe9db3ca9c19ec12180daaea2
1 File "bitwisenot_bad.php", line 13, characters 10-12:
2 Invalid return type (Typing[4110])
3 File "bitwisenot_bad.php", line 12, characters 24-27:
4 Expected `bool`
5 File "bitwisenot_bad.php", line 13, characters 10-12:
6 But got `int` because this is the result of a bitwise operation
7 File "bitwisenot_bad.php", line 13, characters 10-12:
8 Typing error (Typing[4423])
9 File "bitwisenot_bad.php", line 13, characters 10-12:
10 Expected `int` because this is used in a bitwise operation
11 File "bitwisenot_bad.php", line 12, characters 14-17:
12 But got `bool`