Remove bottom from the reference

Fixes #20172
This commit is contained in:
Steve Klabnik 2015-02-09 21:57:14 -05:00
parent 012e9643e4
commit b42c559e9f

View File

@ -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