declare(strict_types=1);
function sumInts(int ...$nums): int {
return array_sum($nums);
}
echo sumInts(1, 2, 3); // OK
echo sumInts(1, "2", 3); // TypeError
/*
run:
ERROR!
6
Fatal error: Uncaught TypeError: sumInts(): Argument #2 must be of type int, string given
*/