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