Additional tests to verify Hack visibility expansion in type hierarchies
[hiphop-php.git] / hphp / hack / test / typecheck / visibilities / T59074374.php
blobaeed3ef6c9a1c342a82d38f4846b27e56d3c26d9
1 <?hh
2 // Copyright 2004-present Facebook. All Rights Reserved.
4 class A {
5 protected function __construct(){}
8 class B extends A {
9 public function __construct(){
10 parent::__construct();
14 interface I {
15 require extends B;
18 class C extends B implements I {
22 trait T implements I {
26 class D extends B {
27 use T;