hackaugusto · July 9, 2019 13:14
diff --git a/exhaustive.py b/exhaustive.py
 from typing import List, NoReturn


 class Uninhabited:
    pass


 def never(x: Uninhabited) -> NoReturn:
    raise RuntimeError()


 def f2() -> int:
    v: List[int] = [1]

    if isinstance(v, list):
        pass
    else:
        never(v)

    return 1
diff --git a/output b/output
 exhaustive.py:18: error: Argument 1 to "never" has incompatible type "List[int]"; expected "Uninhabited"
	from typing import List, NoReturn


	class Uninhabited:
	pass


	def never(x: Uninhabited) -> NoReturn:
	raise RuntimeError()


	def f2() -> int:
	v: List[int] = [1]

	if isinstance(v, list):
	pass
	else:
	never(v)

	return 1
No results found