--TEST--
Basic class support - defining and reading a class constant.
--FILE--
<?php
  
class aclass
  
{
      const 
myConst "hello";
  }
  
  echo 
"\nRead class constant.\n";
  
var_dump(aclass::myConst);
  
  echo 
"\nFail to read class constant from instance.\n";
  
$myInstance = new aclass();
  
var_dump($myInstance->myConst);
  
  echo 
"\nClass constant not visible in object var_dump.\n";
  
var_dump($myInstance)
?>
--EXPECTF--

Read class constant.
string(5) "hello"

Fail to read class constant from instance.

Notice: Undefined property: aclass::$myConst in %s on line 12
NULL

Class constant not visible in object var_dump.
object(aclass)#%d (0) {
}