On 10.07.2017 18:23, Meta wrote:
...problems with stuff like typeof(null)* etc. because for the most part it's just a regular type, unlike Bottom.
Bottom is just a regular type.
On 10.07.2017 18:23, Meta wrote:
...problems with stuff like typeof(null)* etc. because for the most part it's just a regular type, unlike Bottom.
Bottom is just a regular type.