hphp/hack/test/typecheck/enum_6.php

   1 //// newtype.php
   2 <?hh // strict
   3
   4 newtype bar = bool;
   5 const bar truthy_foo = true;
   6
   7 //// def.php
   8 <?hh // strict
   9
  10 abstract class Enum<T> {
  11 }
  12
  13 newtype foo = bar;
  14 class C1 {
  15   const foo FOO = truthy_foo;
  16 }
  17
  18 //// use.php
  19 <?hh // strict
  20
  21 // Should fail because foo isn't an int or a string
  22 class C2 extends Enum<foo> {
  23   const foo FOO = C1::FOO;
  24 }