Skip to content

Commit 35b02a1

Browse files
author
Kyle Strand
committed
remove section on 'never' type
1 parent cb48f9d commit 35b02a1

File tree

1 file changed

+0
-8
lines changed

1 file changed

+0
-8
lines changed

posts/inside-rust/2021-01-21-ffi-unwind-longjmp.md

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -186,14 +186,6 @@ fn no_drop(jmp_buf: CJmpBuf) {
186186
}
187187
```
188188

189-
## Difference from the "never" type
190-
191-
Above, a Rust call to C's `longjmp` function was declared with the "never"
192-
return type, `!`. A function with this return type cannot return normally,
193-
which sounds superficially similar to functions that can be "canceled".
194-
However, cancelation is more restrictive: `-> !` usually indicates an infinite
195-
loop. This cannot cause a resource leak, so it is safe for non-POFs.
196-
197189
## Join us!
198190

199191
If you would like to help us create this specification and write an RFC for it,

0 commit comments

Comments
 (0)