?  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 / trait_require_param4.php.exp
blobe28713c91ba3b8e0b0239fcbe28555631fee1098
1 File "trait_require_param4.php", line 15, characters 7-8:
2 Unable to satisfy trait/interface requirement (Typing[4110])
3 File "trait_require_param4.php", line 10, characters 25-29:
4 This is a float
5 File "trait_require_param4.php", line 13, characters 23-25:
6 It is incompatible with an int
7 File "trait_require_param4.php", line 10, characters 25-29:
8 Considering that this type argument is invariant with respect to Super