Refinement should not turn static types into gradual types #263
Description
Describe the Bug
Minimal repro:
def _(flag: bool, t: type) -> None:
x = 1 if flag else "foo"
if isinstance(x, t):
reveal_type(x)Expected: reveals Literal[1, "foo"]
Actual: reveals Unknown
Sandbox Link
(Only applicable for extension issues) IDE Information
No response