1 File
"invalid_hint_noreturn.php", line 5, characters 3-13:
3 File
"invalid_hint_noreturn.php", line 4, characters 9-16:
4 The noreturn typehint can only be used to
describe a function
return type
(Naming
[2063])
5 File
"invalid_hint_noreturn.php", line 4, characters 9-16:
6 The
"as" operator cannot be used with an untyped value (Typing[4195])
