hphp/hack/test/typecheck/trait_interface_constructor_promotion.php

   1 <?hh
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3 trait T {
   4   public function __construct(private int $x) {}
   5 }
   6
   7 interface I {
   8   public function __construct(private int $x);
   9 }