1 File
"noreturn_typehint_basic_bad1.php", line 3, characters 10-17:
2 Invalid
return type
(Typing
[4110])
3 File
"noreturn_typehint_basic_bad1.php", line 3, characters 10-17:
4 Expected void because this function implicitly returns void
5 File
"noreturn_typehint_basic_bad1.php", line 3, characters 22-29: