?  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 / test_michal2.php.exp
blobaedab8aaaf18f899969bcd7c2f242aea40e6b98d
1 File "test_michal2.php", line 16, characters 10-11:
2 Invalid return type (Typing[4110])
3 File "test_michal2.php", line 12, characters 25-27:
4 This is an int
5 File "test_michal2.php", line 14, characters 10-13:
6 It is incompatible with a nullable type