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