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