?  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 / iface_require_incompat3.php.exp
blob8abc0ee4f4c98b6dc8be540f4dafac2aab07c047
1 File "iface_require_incompat3.php", line 11, characters 20-21:
2 Failure to satisfy requirement: Super (Typing[4111])
3 File "iface_require_incompat3.php", line 6, characters 19-23:
4 Required here