?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / pending_if5.php.exp
blobe2b264cdb6a080a168b77e106b61a8319ba09e3f
1 File "pending_if5.php", line 21, characters 10-11:
2 Invalid return type (Typing[4110])
3 File "pending_if5.php", line 12, characters 15-17:
4 This is an int
5 File "pending_if5.php", line 18, characters 10-14:
6 It is incompatible with a bool