Neal Gafter
Neal Gafter
@ufcpp How would intersection and union types help with `case 1 or 2:`?
@yaakov-h Regarding your first example, yes. The second example doesn't make sense as `IDictionary` is not a pattern.
@MgSam What's worse is one that is ambiguous for both the developer and the compiler.
@MgSam You suggestion gives two different contradictory interpretations for this code, one of which is accepted today. ``` c# if (myBool is true || false) ```
No, not more issues. It is just the grammar validation.
If this is to be required by the language and enforced by the compiler, then this is a language feature request and belongs in the `csharplang` repository. If it is...
We may need three types, not two. For example: ```csharp void f( #nullable disable string x, // could x (oblivious) be seen as nullable type but non-nullable initial state? #nullable...