1--TEST--
2Nullable typed property
3--FILE--
4<?php
5class Foo {
6 public int $foo = null;
7}
8?>
9--EXPECTF--
10Fatal error: Default value for property of type int may not be null. Use the nullable type ?int to allow null default value in %s on line %d
11
