Valgrindといっても、あれが扱えるのはメモリ関連だけで一般のuse-after-freeは対処できるわけではないよなあ
例えば`hyper::server::response::Response`のようないわゆるsession type（https://deterministic.space/elegant-apis-in-rust.html#session-types）も、
ownershipのおかげで安全性を静的に保証できている