Neal Gafter

Results 247 comments of 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...