<?php
class SelectionSpec{
public function __construct(public int $min, public int $max){
if($min > $max){
throw new Exception('whatever');
}
}
}
function selectText(SelectionSpec $spec){
var_dump($spec);
}
selectText(new SelectionSpec(min: 20, max: 100));
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
object(SelectionSpec)#1 (2) {
["min"]=>
int(20)
["max"]=>
int(100)
}