Closed
Description
Currently, None types in the code either mean:
- the internal
Voidtype: a type that cannot be used None: an uninhabited type (i.e. a type without any values)- the internal
NoneTyptype: the type that contains only the valueNone(this cannot currently be explicitly specified)
After doing proper Optional checking, I propose that we make None types always mean NoneTyp. Optional checking will prevent functions that return None from being used in places they shouldn't, and allowing users to specify something is the uninhabited type isn't currently useful at all.