1--TEST--
2Ensure a interface can have public constants
3--FILE--
4<?php
5interface IA {
6    public const FOO = 10;
7}
8
9echo "Done\n";
10?>
11--EXPECT--
12Done
13