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