hphp/hack/test/holes/call_set.php

   1 <?hh
   2
   3 class TestSet{
   4   public function h(Set<int> $h): void {}
   5 }
   6
   7 function h(Set<int> $h): void {}
   8
   9 function call_set(
  10   Set<string> $h,
  11 ): void {
  12   /* HH_FIXME[4110] */
  13   h($h);
  14
  15   $foo = new TestSet();
  16
  17   /* HH_FIXME[4110] */
  18   $foo->h($h);
  19 }
  20
  21 function call_set_cast(
  22   Set<string> $h,
  23 ): void {
  24   /* HH_FIXME[4417] */
  25   h(unsafe_cast<Set<string>,Set<int>>($h));
  26
  27   $foo = new TestSet();
  28
  29   /* HH_FIXME[4417] */
  30   $foo->h(unsafe_cast<Set<string>,Set<int>>($h));
  31 }