Resolve conditional @throws types like ($x is 0 ? Exception : void) at call sites and throw points

Resolve conditional @throws types like ($x is 0 ? Exception : void) at call sites and throw points #3520