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

Update variables.md

Browse source
This commit is contained in:
Alireza Habibi 2021-04-15 12:22:19 +04:30 committed by GitHub
parent 9d8d98e61e
commit 4f848c4496
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
spec/variables.md
View file

@ -579,7 +579,7 @@ For an expression *expr* of the form `expr_cond ? expr_true : expr_false`:
* the state of *v* after *expr_cond* is definitely assigned or "definitely assigned after true expression".
* The definite assignment state of *v* before *expr_false* is definitely assigned if and only if one of the following holds:
* *expr_cond* is a constant expression with the value `true`
* the state of *v* after *expr_cond* is definitely assigned or "definitely assigned after false expression".
* the state of *v* after *expr_cond* is definitely assigned or "definitely assigned after false expression".
* The definite assignment state of *v* after *expr* is determined by:
* If *expr_cond* is a constant expression ([Constant expressions](expressions.md#constant-expressions)) with value `true` then the state of *v* after *expr* is the same as the state of *v* after *expr_true*.
* Otherwise, if *expr_cond* is a constant expression ([Constant expressions](expressions.md#constant-expressions)) with value `false` then the state of *v* after *expr* is the same as the state of *v* after *expr_false*.