hphp/hack/test/nast/coeffects_ctx_const_abstract.php

   1 <?hh
   2
   3 <<file: __EnableUnstableFeatures('coeffects_provisional')>>
   4
   5 abstract class CWithConst {
   6   abstract const ctx C1; // bare abstract
   7   abstract const ctx C2 = [io]; // abstract with default
   8   abstract const ctx C3 as [io, rand]; // abstract with bound
   9   abstract const ctx C4 super [io, rand] as [io] = [io]; // abstract with multiple bounds and default
  10   abstract const ctx C5 as [io] as [rand] super I3; // abstract with multiple bounds
  11 }