No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / interface_constructor.php.exp
blob0aa8e7032dad2041a3a92ab5b69241b5cfbec525
1 File "interface_constructor.php--file2.php", line 2, characters 7-7:
2 Class `A` does not correctly implement all required members (Typing[4340])
3 File "interface_constructor.php--file2.php", line 2, characters 20-22:
4 Some members are incompatible with those declared in type `Foo`
5 File "interface_constructor.php--file1.php", line 13, characters 19-29:
6 The constructor is not implemented
7 File "interface_constructor.php--file2.php", line 2, characters 7-7:
8 This type doesn't implement the method `__construct` (Typing[4054])
9 File "interface_constructor.php--file2.php", line 2, characters 20-22:
10 Which is required by this interface
11 File "interface_constructor.php--file1.php", line 13, characters 19-29:
12 As defined here