Comment by parhamn
18 hours ago
Whats the expected error in the example you gave? That x can't be none because it was received as a str?
18 hours ago
Whats the expected error in the example you gave? That x can't be none because it was received as a str?
Yes, exactly. x would have to be str | None to be reachable.
Exactly - something along the lines of "Statement is unreachable".
isn't it perfectly valid to pass None to that function ? It's not like python enforces types at runtime nor at compile time. Right ?
Sure, it's valid python to do that. By that logic you could also pass an int. But the context of this post is that you're using a static type checker.
It's not valid from a typing perspective, but python will let you. If you want to disregard types though then none of this matters anyway and you won't get much benefit from these tools
Or that x is unused?