1--TEST-- 2Enum disallows value property 3--FILE-- 4<?php 5 6enum Foo: int { 7 public int $value; 8} 9 10?> 11--EXPECTF-- 12Fatal error: Enum Foo cannot include properties in %s on line %d 13