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