1--TEST--
2Class constant whose initial value references a non-existent class
3--FILE--
4<?php
5  class C
6  {
7      const c1 = D::hello;
8  }
9
10  $a = new C();
11?>
12--EXPECTF--
13Fatal error: Uncaught Error: Class "D" not found in %s:%d
14Stack trace:
15#0 {main}
16  thrown in %s on line %d
17