hphp/hack/test/sound_dynamic/typing/targeted_pessimisation/multifile.php

   1 //// file1.php
   2 <?hh
   3
   4 <<__SupportDynamicType>>
   5 function f(shape() $s): void {
   6   g($s);
   7 }
   8
   9 function g(shape() $s): void {}
  10 //// file2.php
  11 <?hh
  12
  13 <<__SupportDynamicType>>
  14 function ff(shape() $s): void {
  15   gg($s);
  16 }
  17
  18 function gg(shape() $s): void {}