maxmustermann/csharplang
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix example

Browse source
This commit is contained in:
Fred Silberberg 2021-09-23 11:20:38 -07:00 committed by GitHub
parent 138765d6b0
commit c33a21734e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
meetings/2021/LDM-2021-09-22.md
View file

@ -32,7 +32,7 @@ specific case where a negative length is tested and the location wasn't already
```cs
x is { Length: -1 } // Warning, not subsumbed by any previous case
x is { Length: >0 } // Considered Exhaustive
x is { Length: >=0 } // Considered Exhaustive
x is { Length: <5 or -1 } // Error on the -1, subsumed by <5. No warning on the <5.
```