Online PHP editor | output for DtAef

@ 2017-07-12T01:47:59Z

<?php
//declare(strict_types = 1);

function hello(string $s) : void {
    echo "$s\n";
}

function fourtyTwo() : int {
    // returning wrong type
    return "42";
}

// calling with wrong type
try {
    hello(1234);
} catch (Throwable $t) {
    echo $t;
}

try {
    echo fourtyTwo();
} catch (Throwable $t) {
    echo $t;
}

Output for 7.1.7, 7.3.24 - 7.3.33, 7.4.12 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.4, 8.3.6: 1234 42
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 1234 42

preferences:dark modelive preview