hphp/hack/test/typecheck/expression_trees_not_virtualize_functions/helper_function_type_const.php

   1 <?hh
   2
   3 <<file:__EnableUnstableFeatures('expression_trees')>>
   4
   5 class Wrapper<T> {}
   6
   7 abstract class MyBox {
   8   abstract const type TInner as mixed;
   9 }
  10
  11 class IntBox extends MyBox {
  12   const type TInner = ExampleInt;
  13 }
  14
  15 async function setState<T as MyBox, TVal>(
  16   ExampleContext $_visitor,
  17 ): Awaitable<ExprTree<ExampleDsl, ExampleDsl::TAst, (function(Wrapper<T>, TVal): void)>>
  18 where
  19   TVal = T::TInner {
  20   throw new \Exception();
  21 }
  22
  23 function test(ExprTree<ExampleDsl, ExampleDsl::TAst, Wrapper<IntBox>> $x): void {
  24   ExampleDsl`setState(${$x}, 1)`;
  25 }