hphp/hack/test/nast/coeffects_poly_var.php

   1 <?hh
   2
   3 <<file: __EnableUnstableFeatures('coeffects_provisional')>>
   4
   5 function poly<Texplicit as D>(
   6   C $change, // Type hint replaced with T$change
   7   ?C $nchange, // Type hint replaced with ?T$nchange
   8   Texplicit $remain,
   9   ?Texplicit $nremain,
  10 )[$change::Co1, $nchange::Co2, $remain::Co3, $nremain::Co4]: void {}