[php-src] Issue #8843: Exception type hint

Issue: https://github.com/php/php-src/issues/8843 Author: 94noni ### Description Hi, I would like to know if there is a way to improve the [Exception](https://www.php.net/manual/en/language.exceptions.php) handling with type string hinting logic instead of annotation. I think it can help get rid of annotations in some codebase, and of course help devs and IDE as well to better understand the exceptions chain if any. --- ## before ```php /** * @throws LogicException */ public function function(?int $int): int { if (null === $int) { throw new LogicException(); } // ... return $int } ``` ## after ```php public function function(?int $int): int | !LogicException { if (null === $int) { throw new LogicException(); } // ... return $int } ``` The !LogicException is totally arbitrary right now Thank you,