Fix test - updating items.fn.implicit-return to be more specific

Author: jackh726

src/expressions/block-expr.md

@@ -64,7 +64,7 @@ assert_eq!(5, five);
 > As a control flow expression, if a block expression is the outer expression of an expression statement, the expected type is `()` unless it is followed immediately by a semicolon.
 
 r[expr.block.type.diverging]
-A block is itself considered to be [diverging](../divergence.md) if all reachable control flow paths contain a [diverging expression](../divergence.md#r-divergence.diverging-expressions), unless that expression is a [place expression](../expressions.md#r-expr.place-value.place-memory-location) that is not read from.
+A block is itself considered to be [diverging](../divergence.md) if all reachable control flow paths contain a [diverging expression](../divergence.md), unless that expression is a [place expression](../expressions.md#r-expr.place-value.place-memory-location) that is not read from.
 
 ```rust,no_run
 # fn make<T>() -> T { loop {} }

src/expressions/if-expr.md

@@ -79,11 +79,13 @@ An `if` expression diverges if either the condition expression diverges or if al
 ```rust,no_run
 fn diverging_condition() -> ! {
     // Diverges because the condition expression diverges
-    if { loop {}; true } {
+    if loop {} {
         ()
     } else {
         ()
-    }
+    };
+    // The semicolon above is important:
+    // The type of the `if` statement is `()`, despite being diverging.
 }
 
 fn diverging_arms() -> ! {

src/items/functions.md

@@ -56,7 +56,7 @@ r[items.fn.signature]
 Functions may declare a set of *input* [*variables*][variables] as parameters, through which the caller passes arguments into the function, and the *output* [*type*][type] of the value the function will return to its caller on completion.
 
 r[items.fn.implicit-return]
-If the output type is not explicitly stated, it is the [unit type].
+If the output type is not explicitly stated, it is the [unit type]. However, if the block expression is not [diverging](../divergence.md), then the output type is instead [`!`](../types/never.md).
 
 r[items.fn.fn-item-type]
 When referred to, a _function_ yields a first-class *value* of the corresponding zero-sized [*function item type*], which when called evaluates to a direct call to the function.