head expression => scrutinee expression

Author: Centril

src/expressions/loop-expr.md

@@ -72,10 +72,10 @@ while i < 10 {
 
 A `while let` loop is semantically similar to a `while` loop but in place of a
 condition expression it expects the keyword `let` followed by a refutable
-pattern, an `=`, an expression and a block expression. If the value of the expression on
-the right hand side of the `=` matches the pattern, the loop body block executes then
-control returns to the pattern matching statement. Otherwise, the while
-expression completes.
+pattern, an `=`, a scrutinee expression and a block expression. If the value of
+the expression on the right hand side of the `=` matches the pattern, the loop
+body block executes then control returns to the pattern matching statement.
+Otherwise, the while expression completes.
 
 ```rust
 let mut x = vec![1, 2, 3];

src/expressions/match-expr.md

@@ -25,21 +25,21 @@
 
 A *`match` expression* branches on a pattern. The exact form of matching that
 occurs depends on the [pattern]. A `match`
-expression has a *head expression*, which is the value to compare to the
-patterns. The head expression and the patterns must have the same type.
+expression has a *scrutinee expression*, which is the value to compare to the
+patterns. The scrutinee expression and the patterns must have the same type.
 
-A `match` behaves differently depending on whether or not the head expression
-is a [place expression or value expression][place expression].
-If the head expression is a [value expression], it is first evaluated into a
-temporary location, and the resulting value is sequentially compared to the
+A `match` behaves differently depending on whether or not the scrutinee
+expression is a [place expression or value expression][place expression].
+If the scrutinee expression is a [value expression], it is first evaluated into
+a temporary location, and the resulting value is sequentially compared to the
 patterns in the arms until a match is found. The first arm with a matching
 pattern is chosen as the branch target of the `match`, any variables bound by
 the pattern are assigned to local variables in the arm's block, and control
 enters the block.
 
-When the head expression is a [place expression], the match does not allocate a
-temporary location; however, a by-value binding may copy or move from the
-memory location.
+When the scrutinee expression is a [place expression], the match does not
+allocate a temporary location; however, a by-value binding may copy or move
+from the memory location.
 When possible, it is preferable to match on place expressions, as the lifetime
 of these matches inherits the lifetime of the place expression rather than being
 restricted to the inside of the match.

src/expressions/struct-expr.md

@@ -71,10 +71,10 @@ let base = Point3d {x: 1, y: 2, z: 3};
 Point3d {y: 0, z: 10, .. base};
 ```
 
-Struct expressions with curly braces can't be used directly in the head of a [loop] or an
-[if], [if let] or [match] expression. However, struct expressions can be in used in these
-situations if they are within another expression, for example inside
-[parentheses].
+Struct expressions with curly braces can't be used directly in a [loop] or [if]
+expression's head, or in the scrutinee of a [if let] or [match] expression.
+However, struct expressions can be in used in these situations if they are
+within another expression, for example inside [parentheses].
 
 The field names can be decimal integer values to specify indices for constructing tuple
 structs. This can be used with base structs to fill out the remaining indices not

src/patterns.md

@@ -69,7 +69,7 @@ Patterns are used in:
 
 Patterns can be used to *destructure* [structs], [enums], and [tuples].
 Destructuring breaks up a value into its component pieces. The syntax used is
-almost the same as when creating such values. In a pattern whose head
+almost the same as when creating such values. In a pattern whose scrutinee
 expression has a `struct`, `enum` or `tuple` type, a placeholder (`_`) stands
 in for a *single* data field, whereas a wildcard `..` stands in for *all* the
 remaining fields of a particular variant. When destructuring a data structure