Trait method

<nohash_hasher::NoHashHasher as Clone>::clone

impl<T> Clone for NoHashHasher<T>
pub fn clone(self: &Self) -> Self

Documentation on docs.rs

Claims (1)

Claim #2 — Verification of <nohash_hasher::NoHashHasher as Clone>::clone (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)

<nohash_hasher::NoHashHasher as Clone>::clone

Exact integer writes and misuse checks in NoHashHasher · v5 · 0 comments · nyuichi