pylyzer/tests/narrowing.py
Shunsuke Shibayama 001183db79 fix: minor bugs
2025-02-08 17:04:56 +09:00

20 lines
344 B
Python

def f(x: int | None):
x + 1 # ERR
if x != None:
print(x + 1) # OK
if isinstance(x, int):
print(x + 1) # OK
return None
f(1)
from typing import Optional
x: Optional[int] = None
if x is not None:
x += 1
def sb(s: str | bytes) -> None:
if not isinstance(s, str):
str(s, "ascii")
return None