fix some links

Author: steveklabnik

src/expressions.md

@@ -221,7 +221,7 @@ boolean value, or the unit value.
 
 A [path](paths.html) used as an expression context denotes either a local
 variable or an item. Path expressions that resolve to local or static variables
-are [lvalues](expressions.html#lvalues-rvalues-and-temporaries), other paths
+are [lvalues](expressions.html#lvalues-and-rvalues), other paths
 are rvalues. Using a `static mut` variable requires an [`unsafe`
 block](#unsafe-block).
 
@@ -452,7 +452,7 @@ mystruct.method();          // Method expression
 (mystruct.function_field)() // Call expression containing a field expression
 ```
 
-A field access is an [lvalue](expressions.html#lvalues-rvalues-and-temporaries)
+A field access is an [lvalue](expressions.html#lvalues-and-rvalues)
 referring to the value of that field. When the subexpression is
 [mutable](#mutability), the field expression is also mutable.
 
@@ -670,7 +670,7 @@ greater than 1 then this requires that the type of `a` is
 [Array and slice](types.html#array-and-slice-types)-typed expressions can be
 indexed by writing a square-bracket-enclosed expression (the index) after them.
 When the array is mutable, the resulting
-[lvalue](expressions.html#lvalues-rvalues-and-temporaries) can be assigned to.
+[lvalue](expressions.html#lvalues-and-rvalues) can be assigned to.
 For other types an index expression `a[b]` is equivalent to
 `*std::ops::Index::index(&a, b)`, or `*std::opsIndexMut::index_mut(&mut a, b)`
 in a mutable lvalue context. Just as with methods, Rust will also insert
@@ -768,7 +768,7 @@ The `*` (dereference) operator is also a unary prefix operator. When applied to
 a [pointer](types.html#pointer-types) it denotes the pointed-to location. If
 the expression is of type `&mut T` and `*mut T`, and is either a local
 variable, a (nested) field of a local variance or is a mutable lvalue, then the
-resulting [lvalue](expressions.html#lvalues-rvalues-and-temporaries) can be
+resulting [lvalue](expressions.html#lvalues-and-rvalues) can be
 assigned to. Dereferencing a raw pointer requires `unsafe`.
 
 On non-pointer types `*x` is equivalent to `*std::ops::Deref::deref(&x)` in an
@@ -1003,9 +1003,9 @@ same trait object.
 ### Assignment expressions
 
 An _assignment expression_ consists of an
-[lvalue](expressions.html#lvalues-rvalues-and-temporaries) expression followed
+[lvalue](expressions.html#lvalues-and-rvalues) expression followed
 by an equals sign (`=`) and an
-[rvalue](expressions.html#lvalues-rvalues-and-temporaries) expression.
+[rvalue](expressions.html#lvalues-and-rvalues) expression.
 
 Evaluating an assignment expression [either copies or
 moves](#moved-and-copied-types) its right-hand operand to its left-hand
@@ -1267,7 +1267,7 @@ the patterns. The type of the patterns must equal the type of the head
 expression.
 
 A `match` behaves differently depending on whether or not the head expression
-is an [lvalue or an rvalue](expressions.html#lvalues-rvalues-and-temporaries).
+is an [lvalue or an rvalue](expressions.html#lvalues-and-rvalues).
 If the head expression is an rvalue, 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

src/string-table-productions.md

@@ -12,7 +12,7 @@ When such a string enclosed in double-quotes (`"`) occurs inside the grammar,
 it is an implicit reference to a single member of such a string table
 production. See [tokens] for more information.
 
-[binary operators]: expressions.html#binary-operator-expressions
+[binary operators]: expressions.html#arithmetic-and-logical-binary-operators
 [keywords]: ../grammar.html#keywords
 [tokens]: tokens.html
-[unary operators]: expressions.html#unary-operator-expressions
+[unary operators]: expressions.html#borrow-operators

src/types.md

@@ -268,7 +268,7 @@ messages to indicate "the unique fn type for the function `foo`".
 
 ## Closure types
 
-A [lambda expression](expressions.html#lambda-expressions) produces a closure
+A [closure expression](expressions.html#closure-expressions) produces a closure
 value with a unique, anonymous type that cannot be written out.
 
 Depending on the requirements of the closure, its type implements one or

src/variables.md

@@ -1,7 +1,7 @@
 # Variables
 
-A _variable_ is a component of a stack frame. That component can be a named function parameter,
-an anonymous [temporary](expressions.html#lvalues-rvalues-and-temporaries), or a named local
+A _variable_ is a component of a stack frame, either a named function parameter,
+an anonymous [temporary](expressions.html#lvalues-and-rvalues), or a named local
 variable.
 
 A _local variable_ (or *stack-local* allocation) holds a value directly,