1--TEST--
2Nullable default property error message
3--FILE--
4<?php
5
6class A {
7    public string|int $b = null;
8}
9
10$t = new A;
11$t->b;
12
13?>
14--EXPECTF--
15Fatal error: Default value for property of type string|int may not be null. Use the nullable type string|int|null to allow null default value in %s on line %d
16