No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / const_in_interface_overridden1_bad.php.exp
blob5e5a48fea65dd1818a431ac71220e451840fa750
1 File "const_in_interface_overridden1_bad.php", line 6, characters 16-16:
2 Class `C` does not correctly implement all required members (Typing[4340])
3 File "const_in_interface_overridden1_bad.php", line 6, characters 29-29:
4 Some members are incompatible with those declared in type `I`
5 File "const_in_interface_overridden1_bad.php", line 7, characters 12-21:
6 Non-abstract constants defined in an interface cannot be overridden when implementing or extending that interface.
7 File "const_in_interface_overridden1_bad.php", line 4, characters 13-22:
8 You could make `SOME_CONST` abstract in `I`.