Even PHP has that these days via static analysis https://phpstan.org/writing-php-code/phpdoc-types#other-adva...