diff options
| author | Steve Klabnik <steve@steveklabnik.com> | 2015-02-09 21:57:14 -0500 |
|---|---|---|
| committer | Steve Klabnik <steve@steveklabnik.com> | 2015-02-09 21:57:14 -0500 |
| commit | b42c559e9f0162e9770631e86fb21995d60d0d09 (patch) | |
| tree | 3d672a801f53ff45a69883016e8eed0f6407ecfc /src/doc/reference.md | |
| parent | 012e9643e4d6f6fa449ca4f4e5e3fc9fb8e536db (diff) | |
| download | rust-b42c559e9f0162e9770631e86fb21995d60d0d09.tar.gz rust-b42c559e9f0162e9770631e86fb21995d60d0d09.zip | |
Remove bottom from the reference
Fixes #20172
Diffstat (limited to 'src/doc/reference.md')
| -rw-r--r-- | src/doc/reference.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md index 9c8191a386d..c2b381fe5e4 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 |
