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