Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / undefined_method.php.exp
blobe1a1633616508db758b7ed863fee64ac4780f27e
1 File "undefined_method.php", line 21, characters 9-12:
2 Could not find method blah in an object of type I1 (Typing[4053])
3 File "undefined_method.php", line 15, characters 32-33:
4 This is why I think it is an object of type I1
5 File "undefined_method.php", line 12, characters 11-12:
6 Declaration of I1 is here