I started using this on a new project, and I want to like it, but I ran into a couple of quirks (`var` gives you a nullable type even if the RHS isn't; checking a non-nullable variable for null makes the compiler start treating it as nullable, rather than just telling you the comparison is always false) and the response to the person who raised them as an issue on GH was so unhelpful that it put me off.
I'll keep using it, it just saddens me that it's stuck in a half-lenient state and there is no way to make it more strict.