<?php
declare(strict_types=1);
class Foo {
public function __set(string $name, int $value): void {
$this->{$name} = $value;
}
public function __get(string $name): int {
return $this->{$name};
}
}
$o = new Foo;
$o->x = '3';
var_dump($o->x);
Fatal error: Uncaught TypeError: Foo::__set(): Argument #2 ($value) must be of type int, string given, called in /in/lWGYU on line 15 and defined in /in/lWGYU:5
Stack trace:
#0 /in/lWGYU(15): Foo->__set('x', '3')
#1 {main}
thrown in /in/lWGYU on line 5
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: Foo::__set(): Argument #2 ($value) must be of type int, string given, called in /in/lWGYU on line 15 and defined in /in/lWGYU:5
Stack trace:
#0 /in/lWGYU(15): Foo->__set('x', '3')
#1 {main}
thrown in /in/lWGYU on line 5
Process exited with code 255.