We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 012e964 commit b42c559Copy full SHA for b42c559
src/doc/reference.md
@@ -1253,9 +1253,7 @@ fn my_err(s: &str) -> ! {
1253
We call such functions "diverging" because they never return a value to the
1254
caller. Every control path in a diverging function must end with a `panic!()` or
1255
a call to another diverging function on every control path. The `!` annotation
1256
-does *not* denote a type. Rather, the result type of a diverging function is a
1257
-special type called ⊥ ("bottom") that unifies with any type. Rust has no
1258
-syntax for ⊥.
+does *not* denote a type.
1259
1260
It might be necessary to declare a diverging function because as mentioned
1261
previously, the typechecker checks that every control path in a function ends
0 commit comments