from typing import reveal_type, Any, Iterable
def arrlen(obj: Any) -> int | None:
...
def main(a: float | str | bytes | Iterable[Any]) -> None:
if isinstance(a, (str, bytes)):
pass
elif arrlen(a) is not None:
reveal_type(a)(scratch) mgorelli@marcoslaptop:~/scratch$ pyright t.py
/home/mgorelli/scratch/t.py
/home/mgorelli/scratch/t.py:11:21 - information: Type of "a" is "float | int | Iterable[Any]"
0 errors, 0 warnings, 1 information
(scratch) mgorelli@marcoslaptop:~/scratch$ ty check t.py
info[revealed-type]: Revealed type
--> t.py:11:21
|
11 | reveal_type(a)
| ^ `int | float | (Iterable[Any] & ~str & ~bytes)`
|
Found 1 diagnostic
(scratch) mgorelli@marcoslaptop:~/scratch$ pyrefly check t.py
INFO revealed type: Iterable[Any] | bytes | float | str [reveal-type]
--> t.py:11:20
|
11 | reveal_type(a)
| ---
|
INFO 0 errors
Describe the Bug
If I run this:
I get
Note how pyrefly includes
strandbytes- shouldn't it rule them out, based on the firstifstatement?Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN2UYANxiooAfSbEYAGjoBBdKTkBJBjEqpssADro9ezDDB1UlSrHQAKXNgBWiBUoCUdALQA%2BTun4AfOgByuOgwiHp0EXSE0QZYxnQ0qKxWqI5gULiofnRwDJR0-tik6nAFdGoaWrAA2oqkALqunoHBoeGRECYQcKy5GADGMClyVrmUckUlzs5h6JHzdMSocHDtETBQnabmlimu3XTouPxBIbMLkYIiYpLMQ6jOIDIgZILppIQMtFAUAMR0AAVSG8oKQchgcAQ6P1gpA2ABXTQMCDBQh6f4AZRgMDoAAsGAxiHBEAB6EmvYygwi8NgkmDoEmYXD9OAkmHoOGIrIohl0MC8UxCJJQKo49mcpE8ui4YjI4JwNHoMgMXHBNwiSg9YJ0AC8dB0IAAzIQAIwAJgNemqGmomvqenh6C4PD4MEwbkwEEE-WRIl1dAA5BA2EdBAG9EcGG5BABHeFet1uADWMFIblQ-UGK39AYA7mZ0OH0CAAL7PDO%2BmAAMWgMAoaCweCIZFLQA
(Only applicable for extension issues) IDE Information
No response