New inference: improved error message for unresolved type

[hiphop-php.git] / hphp / hack / test / typecheck / iface_require_incompat5.php.exp

File "iface_require_incompat5.php", line 10, characters 41-42:
Unable to satisfy trait/interface requirement (Typing[4110])
File "iface_require_incompat5.php", line 6, characters 25-27:
This is an int
File "iface_require_incompat5.php", line 6, characters 25-27:
Considering that this type argument is invariant with respect to Super
File "iface_require_incompat5.php", line 10, characters 25-27:
It is incompatible with a num (int | float)