Merge pull request #420 from RalfJung/destructors

ehuss · web-flow · commit 7c574c79ee20 · 2023-09-11T08:55:35.000-07:00
remove 'fail to call destructors' from okay-list
diff --git a/src/what-unsafe-does.md b/src/what-unsafe-does.md
@@ -71,7 +71,6 @@ Rust considers it "safe" to:
 * Deadlock
 * Have a [race condition][race]
 * Leak memory
-* Fail to call destructors
 * Overflow integers
 * Abort the program
 * Delete the production database
