From 7b33e4890b48279f91e384c13ccab6ec2956bcd9 Mon Sep 17 00:00:00 2001 From: Jon Skeet Date: Thu, 4 Sep 2025 11:12:07 +0100 Subject: [PATCH] Fix definite assignment in || operator Fixes #1070 --- standard/variables.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/standard/variables.md b/standard/variables.md index 0fe976fed..25dd4004a 100644 --- a/standard/variables.md +++ b/standard/variables.md @@ -786,7 +786,7 @@ For an expression *expr* of the form: ``` - The definite-assignment state of *v* before *expr_first* is the same as the definite-assignment state of *v* before *expr*. -- The definite-assignment state of *v* before *expr_second* is definitely assigned if and only if the state of *v* after *expr_first* is either definitely assigned or “definitely assigned after true expression”. Otherwise, it is not definitely assigned. +- The definite-assignment state of *v* before *expr_second* is definitely assigned if and only if the state of *v* after *expr_first* is either definitely assigned or “definitely assigned after false expression”. Otherwise, it is not definitely assigned. - The definite-assignment statement of *v* after *expr* is determined by: - If the state of *v* after *expr_first* is definitely assigned, then the state of *v* after *expr* is definitely assigned. - Otherwise, if the state of *v* after *expr_second* is definitely assigned, and the state of *v* after *expr_first* is “definitely assigned after true expression”, then the state of *v* after *expr* is definitely assigned.