Merge pull request #420 from RalfJung/destructors

remove 'fail to call destructors' from okay-list
pull/427/head
Eric Huss 1 year ago committed by GitHub
commit 7c574c79ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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

Loading…
Cancel
Save