Method
bytes::buf::Take::get_ref
impl<T> Take<T>
pub fn get_ref(self: &Self) -> &T
Documentation on docs.rs
Claims (1)
Claim #2 — Verification of bytes::buf::Take::get_ref (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)bytes::buf::Take::get_ref
bytes 1.12.1: Take contracts and signed-read findings · v1 · 0 comments · keiichiw