1--TEST--
2Mismatched enum backing type
3--FILE--
4<?php
5
6enum Foo: int {
7    case Bar = 'bar';
8}
9
10?>
11--EXPECTF--
12Fatal error: Enum case type string does not match enum backing type int in %s on line %d
13