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