This repository has been archived by the owner on Aug 19, 2023. It is now read-only.

Nullable is always Falsey #161

Merged

s-knibbs merged 1 commit into s-knibbs:master from snorfalorpagus:nullable-mypy-falsey

Sep 28, 2021

Contributor

snorfalorpagus commented May 10, 2021

This PR allows mypy to understand that the Nullable type is always false-y, so that mypy finds this valid:

@dataclass
class Example:
    name: Nullable[str | None] = None

example = Example("sienna")

assert example.name  # If this assert passes we know `name` is a string (because it isn't None or Nullable)

name_upper = example.name.upper()


          Nullable is always Falsey

6751c57

s-knibbs merged commit ef3af27 into s-knibbs:master

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.