Change some formatting for 2018-10-10 LDM notes
This commit is contained in:
parent
a8248d258a
commit
39b8b4d153
|
@ -9,7 +9,9 @@ _QOTD: C# has a long and proud tradition of being oblivious_
|
|||
|
||||
## Discussion
|
||||
|
||||
1. Short discard diagnostics
|
||||
All questions are in [this issue](https://github.com/dotnet/csharplang/issues/1054)
|
||||
|
||||
### Short discard diagnostics
|
||||
|
||||
**Conclusion**
|
||||
|
||||
|
@ -19,7 +21,7 @@ not be an error -- an underscore in a case block with a constant `_` in
|
|||
scope will match the constant. A warning wave warning should be added
|
||||
to make matching a constant named `_` a warning.
|
||||
|
||||
2. Nullable reference types vs switch analysis
|
||||
### Nullable reference types vs switch analysis
|
||||
|
||||
In general, the nullable analysis computes very similar information to
|
||||
switch exhaustiveness. It would be strange if the switch produced
|
||||
|
@ -51,25 +53,25 @@ switch (s)
|
|||
Console.WriteLine(i); // is i definitely assigned?
|
||||
```
|
||||
|
||||
3. Permit optionally omitting the pattern on the last branch of switch expr
|
||||
### Permit optionally omitting the pattern on the last branch of switch expr
|
||||
|
||||
**Conclusion**
|
||||
|
||||
Rejected.
|
||||
|
||||
4. Should exhaustiveness affect definite assignment?
|
||||
### Should exhaustiveness affect definite assignment?
|
||||
|
||||
**Conclusion**
|
||||
|
||||
Confirmed the current behavior.
|
||||
|
||||
5. Switch expression as statement expression
|
||||
### Switch expression as statement expression
|
||||
|
||||
**Conclusion**
|
||||
|
||||
We like it. Not sure it will make it for C# 8.0.
|
||||
|
||||
6. Single-element positional deconstruction
|
||||
### Single-element positional deconstruction
|
||||
|
||||
**Conclusion**
|
||||
|
||||
|
|
Loading…
Reference in a new issue