Repository navigation
unreachable error not triggered when unreachable line calls function with NoReturn return type #10916
Description
from typing import NoReturn, Literal
def foo() -> NoReturn: ...
def bar() -> None: ...
def baz(value: Literal["foo"]) -> None:
if value != "foo":
foo() # no error, even though statement is unreachable
if value != "foo":
bar() # error: Statement is unreachable [unreachable]
Activity
KotlinIsland commentedon Feb 8, 2022
raisestatements also count asNoReturn/<nothing>:KotlinIsland commentedon Feb 8, 2022
This looks to be the same issue as #11437
JelleZijlstra commentedon Mar 21, 2022
This is intentional, so that you can write a runtime assertion that fails if the types are wrong and the code is unexpectedly reached at runtime.