<?php
final class Mutable {
private $x;
public function __construct(int $x) {
$this->x = $x;
}
public function setX(int $x): void {
$this->x = $x;
}
public function x(): int {
return $this->x;
}
}
final class User {
private $m;
public function __construct(Mutable $m) {
$this->m = $m;
}
public function x(): void {
echo "{$this->m->x()}\n";
}
}
$m = new Mutable(42);
$u = new User($m);
$u->x();
$m->setX(-1);
$u->x();
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
42
-1
Output for 7.0.0 - 7.0.33
42
Fatal error: Uncaught TypeError: Return value of User::x() must be an instance of void, none returned in /in/EZRdP:28
Stack trace:
#0 /in/EZRdP(34): User->x()
#1 {main}
thrown in /in/EZRdP on line 28
Process exited with code 255.
Output for 5.6.0 - 5.6.40
Parse error: syntax error, unexpected ':', expecting ';' or '{' in /in/EZRdP on line 10
Process exited with code 255.