hphp/hack/test/full_fidelity/cases/legacy_soft_typehints/no_legacy_soft_typehints.php

   1 <?hh
   2
   3 type t = @darray<int, @string>;
   4 type u = varray<@int>;
   5
   6 function f<T>(): void {}
   7
   8 function g(@int $_): @string {
   9   f<@float>();
  10   return "hello";
  11 }
  12
  13 abstract class C {
  14   <<TestAttr>> protected @float $x;
  15   const type T = @int;
  16   public function __construct(<<TestAttr>> public @int $y) {}
  17   public async function f(): Awaitable<@int> {
  18     return 42;
  19   }
  20 }