Struct Counts
struct Counts {
per_file: BTreeMap<(String, Kind), usize>,
operations: Vec<ObservedOperation>,
safety_by_file: BTreeMap<String, Vec<String>>,
blanket: Vec<String>,
}Expand description
The hand-written operations found in the source tree, plus the blanket overrides and local safety comments.
Fields§
§per_file: BTreeMap<(String, Kind), usize>(file, kind) -> how many.
operations: Vec<ObservedOperation>Operations in source order, with their AST identity and rationale.
safety_by_file: BTreeMap<String, Vec<String>>// SAFETY: blocks in source order, keyed by file.
blanket: Vec<String>Files carrying an inner #![allow(unsafe_code)] / #![expect(…)].
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Counts
impl RefUnwindSafe for Counts
impl Send for Counts
impl Sync for Counts
impl Unpin for Counts
impl UnsafeUnpin for Counts
impl UnwindSafe for Counts
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
impl<T, U> Imply<T> for U
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more