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