Language: Zend null-default typed property fatal suggests ?T (#31820)

[PurHur]

Summary

• Match php-src Zend/zend_compile.c fatal for public T $prop = null on non-nullable typed properties: suggest ?T.
• Leave non-null typed-default mismatches on the existing Cannot use … path; ?int $x = null still compiles.
• Closes Language: null default on non-nullable typed property fatal message — Zend suggests ?T (zend_compile.c) #31820

php-src reference

• Zend/zend_compile.c — typed property default null check (“Use the nullable type ?%s …”)
• PHP: lib/Compiler.php (throwTypedDefaultMismatch)

Test plan

• Issue repro (VM)
• Multi-type spot check (int/string/float/bool/class + nullable ok)
• ./script/phpunit.sh --filter TypedPropNullDefaultFatal31820 (VM + JIT)

Verification

$ ./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gap_null_default_typed_prop.php' ; echo EXIT:$?
parseAndCompile failure: target=/compiler/test/repro/maintainer_gap_null_default_typed_prop.php: Default value for property of type int may not be null. Use the nullable type ?int to allow null default value
EXIT:255

$ ./script/phpunit.sh --filter TypedPropNullDefaultFatal31820
OK (4 tests, 6 assertions)

Not covered: full VMTest/JITTest suites; union-type null defaults (still early-return in assert path).

Made with Cursor