hphp/hack/test/typecheck/construct_consist3.php

   1 <?hh
   2
   3 <<__ConsistentConstruct>>
   4 class C1 {}
   5
   6 class C2 extends C1 {
   7   <<__UNSAFE_Construct>> // explicitly inconsistent with C1
   8   public function __construct(A $a) {}
   9 }
  10
  11 class C3 extends C2 {
  12   // still has to be consistent, but now with C2!
  13   public function __construct() {
  14     parent::__construct(new A());
  15   }
  16 }