Remove bottom from the reference

Fixes #20172

diff --git a/src/doc/reference.md b/src/doc/reference.md
index 9c8191a386ddc5f401a456b2d94cf2a65ad2896a..c2b381fe5e41618700d160550db68f31062399de 100644 (file)
--- a/src/doc/reference.md
+++ b/src/doc/reference.md
@@ -1253,9 +1253,7 @@ fn my_err(s: &str) -> ! {
 We call such functions "diverging" because they never return a value to the
 caller. Every control path in a diverging function must end with a `panic!()` or
 a call to another diverging function on every control path. The `!` annotation
-does *not* denote a type. Rather, the result type of a diverging function is a
-special type called ⊥ ("bottom") that unifies with any type. Rust has no
-syntax for ⊥.
+does *not* denote a type.
 
 It might be necessary to declare a diverging function because as mentioned
 previously, the typechecker checks that every control path in a function ends