hphp/hack/test/typecheck/shapes_cc_10.php

   1 //// def.php
   2 <?hh // strict
   3
   4 newtype FooType = int;
   5 class X {
   6   const FooType X1 = 0;
   7   const FooType X2 = 1;
   8 }
   9
  10 //// use.php
  11 <?hh // strict
  12
  13 // Reject: type of keys is opaque
  14 type myshape = shape(X::X1 => int, X::X2 => bool);