hphp/test/slow/class_type_constant/type_constant8.php

   1 <?hh
   2
   3 interface I {
   4   abstract const type T;
   5
   6   public function foo(this::T $t): void;
   7 }
   8
   9 class Incompat implements I {
  10   const type T = mixed;
  11
  12   // If an interface parameter is defined in terms of a type constant then we
  13   // require implementers to provide a type hint
  14   public function foo($t): void {}
  15 }
  16
  17 <<__EntryPoint>>
  18 function main(): void {
  19   echo "Done.\n";
  20 }