made change

Author: Kivooeo

src/expressions/match-expr.md

@@ -217,9 +217,9 @@ Before a guard (including an `if let` guard) is evaluated:
       }
       ```
   2. Guard evaluation happens after that, and:
-      * It runs using a shared borrow of the scrutinee
-      * You cannot move from the scrutinee inside the guard.
-      * New bindings created inside the guard (e.g., via `if let Some(y) = expr`) are local to the guard and do not persist into the match arm body.
+      * Guard evaluation follows successful main pattern match. Variables bound by the main pattern are usable within the guard, respecting their binding type (borrow/move)
+      * Moves from the scrutinee in the guard are subject to standard Rust ownership rules. Avoid moving what's needed later; already moved parts from the main pattern can be used.
+      * Variables successfully bound within the if let guard are in scope within the corresponding match arm body. Their scope extends to the arm after the guard condition is met.
       ```rust,ignore
       let val = Some(vec![1, 2, 3]);