1--TEST--
2Test typed properties disallow incorrect type initial value (array)
3--FILE--
4<?php
5class Foo {
6	public array $bar = 32;
7}
8?>
9--EXPECTF--
10Fatal error: Default value for property of type array can only be an array in %s on line 3
11