<?php
declare(strict_types=1);
class X
{
/** @var string $string */
private $string;
public function setString(string $string) : X
{
$this->string = $string;
}
public function getString() : string
{
return $this->string;
}
}
$x = new X();
echo $x->getString();
Fatal error: Uncaught TypeError: X::getString(): Return value must be of type string, null returned in /in/vuruT:17
Stack trace:
#0 /in/vuruT(22): X->getString()
#1 {main}
thrown in /in/vuruT on line 17
Process exited with code 255.
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
Fatal error: Uncaught TypeError: X::getString(): Return value must be of type string, null returned in /in/vuruT:17
Stack trace:
#0 /in/vuruT(22): X->getString()
#1 {main}
thrown in /in/vuruT on line 17
Process exited with code 255.
Fatal error: Uncaught TypeError: Return value of X::getString() must be of the type string, null returned in /in/vuruT:17
Stack trace:
#0 /in/vuruT(22): X->getString()
#1 {main}
thrown in /in/vuruT on line 17
Process exited with code 255.