Minor doc fixes; follow up to 17258 and 17259 (#18123)

Co-authored-by: quantimnot <quantimnot@users.noreply.github.com>
This commit is contained in:
quantimnot 2021-05-29 15:39:46 -04:00 • committed by GitHub
commit c792154b03
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 5 deletions

View file

@ -143,7 +143,7 @@ Merging usually merges maps and alias sets: nilabilities are merged like this:
else:
MaybeNil
Special handling is for `.isNil` and ` == nil`, also for `not`, `and` and `or`.
Special handling is for `.isNil` and `== nil`, also for `not`, `and` and `or`.
`not` reverses the nilability, `and` is similar to "forking" : the right expression is checked in the layer resulting from the left one and `or` is similar to "merging": the right and left expression should be both checked in the original layer.