Fix some nits around ! changes

Author: canndrew

src/expressions/loop-expr.md

@@ -37,9 +37,9 @@ A `loop` expression repeats execution of its body continuously:
 `loop { println!("I live."); }`.
 
 A `loop` expression without an associated `break` expression is diverging and
-so has type `!`. A `loop` expression containing associated 
-[`break` expression(s)](#break-expressions) may terminate, and must have type
-compatible with the value of the `break` expression(s).
+has type [`!`](types.html#never-type). A `loop` expression containing
+associated [`break` expression(s)](#break-expressions) may terminate, and must
+have type compatible with the value of the `break` expression(s).
 
 ## Predicate loops
 

src/items/functions.md

@@ -123,4 +123,4 @@ As non-Rust calling conventions do not support unwinding, unwinding past the end
 of an extern function will cause the process to abort. In LLVM, this is
 implemented by executing an illegal instruction.
 
-[external blocks]: items/external-blocks.html
+[external blocks]: items/external-blocks.html

src/types.md

@@ -89,9 +89,8 @@ instantiated through a pointer type, such as `&str`.
 ## Never type
 
 The never type `!` is a type with no values, representing the result of
-computations that never complete. Although it has size `0` the empty bit
-pattern is not a valid representation. Expressions of type `!` can be coerced
-into any other type.
+computations that never complete. Expressions of type `!` can be coerced into
+any other type.
 
 ## Tuple types
 
@@ -612,4 +611,4 @@ The notation `&self` is a shorthand for `self: &Self`.
 [auto traits]: special-types-and-traits.html#auto-traits
 [object safe]: items/traits.html#object-safety
 [issue 47010]: https://github.com/rust-lang/rust/issues/47010
-[issue 33140]: https://github.com/rust-lang/rust/issues/33140
+[issue 33140]: https://github.com/rust-lang/rust/issues/33140