Avoid inferring return and yield types from unreachable statements

Avoid inferring return and yield types from unreachable statements #30112