1--TEST--
2Enum cannot manually implement BackedEnum
3--FILE--
4<?php
5
6enum Foo: int implements BackedEnum {}
7
8?>
9--EXPECTF--
10Fatal error: Class Foo cannot implement previously implemented interface BackedEnum in %s on line %d
11