hphp/hack/test/decl/sound_dynamic_call_meth_1.bad.php

   1 <?hh
   2 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
   3
   4 class A<T> {}
   5
   6 class C {
   7   <<__SupportDynamicType>>
   8   public function expect_A_int(A<int> $a1, A<int> $a2) : void {}
   9 }
  10
  11
  12 // handling of Sound Dynamic Callable methods defined in other classes
  13 // is not complete; this should ideally be accepted, but it is not
  14 <<__SupportDynamicType>>
  15 class Foo {
  16   public function foo(A<int> $a) : void {
  17     (new C())->expect_A_int($a, new A<int>());
  18   }
  19   public function bar(A<int> $a) : void {
  20     (new C())->expect_A_int(new A<int>(), $a);
  21   }
  22 }