1--TEST--
2Typed class constants (type not allowed; void)
3--FILE--
4<?php
5class A {
6    public const void CONST1 = 1;
7}
8?>
9--EXPECTF--
10Fatal error: Class constant A::CONST1 cannot have type void in %s on line %d
11