New inference: improved error message for unresolved type

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

File "integrate_if1.php", line 27, characters 7-8:
Invalid argument (Typing[4110])
File "integrate_if1.php", line 13, characters 12-14:
This is an int
File "integrate_if1.php", line 20, characters 12-16:
It is incompatible with a bool