New inference: improved error message for unresolved type

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

File "erling_loop5.php", line 35, characters 10-11:
Invalid return type (Typing[4110])
File "erling_loop5.php", line 22, characters 18-20:
This is an int
File "erling_loop5.php", line 32, characters 15-21:
It is incompatible with a string