--TEST-- Enum disallows value property --FILE-- <?php enum Foo: int { public int $value; } ?> --EXPECTF-- Fatal error: Enums may not include properties in %s on line %d
