hphp/test/slow/verify-param-ts-unused.php

   1 <?hh
   2
   3 interface InterfaceFoo {
   4   public function genVisit<reify T>(
   5         ?T $plain_value
   6   ): Awaitable<void>;
   7 }
   8
   9 final class Visitor implements InterfaceFoo {
  10   protected int $counter = 0;
  11
  12   public async function genVisit<reify T>(
  13     ?T $plain_value
  14   ): Awaitable<void> {
  15     $this->counter++;
  16   }
  17 }
  18
  19 async function bar(InterfaceFoo $o) {
  20   $i = rand(1, 45);
  21   await $o->genVisit<int>($i);
  22 }
  23
  24 <<__EntryPoint>>
  25 async function main() {
  26   $visitor = new Visitor();
  27   await bar($visitor);
  28   echo "done.\n";
  29 }