From b42c559e9f0162e9770631e86fb21995d60d0d09 Mon Sep 17 00:00:00 2001 From: Steve Klabnik Date: Mon, 9 Feb 2015 21:57:14 -0500 Subject: [PATCH] Remove bottom from the reference Fixes #20172 --- src/doc/reference.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/doc/reference.md b/src/doc/reference.md index 9c8191a386ddc..c2b381fe5e416 100644 --- 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