hphp/hack/test/typecheck/strict_call_tany4.php

   1 //// partial.php
   2 <?hh
   3
   4 async function any() {
   5   return new D();
   6 }
   7
   8 //// strict.php
   9 <?hh // strict
  10
  11 class C {
  12   public function cc(): void {}
  13 }
  14
  15 class D extends C {
  16   public function dd(): void {}
  17 }
  18
  19 async function expload(): Awaitable<void> {
  20   $any = any();
  21   $x = await $any;
  22   invariant($x instanceof C, '');
  23   $x->dd();
  24 }