1--TEST-- 2Test typed properties disallow void 3--FILE-- 4<?php 5class Foo { 6 public void $int; 7} 8 9$foo = new Foo(); 10?> 11--EXPECTF-- 12Fatal error: Property Foo::$int cannot have type void in %s on line 3 13