1--TEST--
2Typed class constants (type mismatch; simple)
3--FILE--
4<?php
5class A {
6    public const string CONST1 = 1;
7}
8?>
9--EXPECTF--
10Fatal error: Cannot use int as value for class constant A::CONST1 of type string in %s on line %d
11