Hacker News new | ask | show | jobs
by SideburnsOfDoom 1544 days ago
It's exactly that.

e.g. inside "if (x != null) { }", or after "x = y ?? throw new ArgumentNullException()" then x is known not null.

C# has flow types, but only in this specific and limited way. You could say that about a lot of programming language features.