|
|
|
|
|
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. |
|