1--TEST--
2Backed enums reject duplicate int values
3--FILE--
4<?php
5
6enum Foo: int {
7    case Bar = 0;
8    case Baz = 0;
9}
10
11?>
12--EXPECTF--
13Fatal error: Duplicate value in enum Foo for cases Bar and Baz in %s on line %s
14