1--TEST--
2Constructor promotion with null default, requires an explicitly nullable type
3--FILE--
4<?php
5
6class Test {
7    public function __construct(public int $x = null) {}
8}
9
10?>
11--EXPECTF--
12Fatal error: Cannot use null as default value for parameter $x of type int in %s on line %d
13