Skip to main content

RuleHits

Struct RuleHits 

Source
pub struct RuleHits<'a> {
    pub hits: Vec<&'a str>,
    pub withheld: Vec<&'static str>,
}
Expand description

⟨0.24⟩ What one §6.2 deny/pure rule DOES to one function’s signature — see rule_hits.

Fields§

§hits: Vec<&'a str>

The effects this rule CHARGES on this function, after both narrowing filters. Empty ⇒ the rule does not fire here, which is what the disclosure calls PASSING.

§withheld: Vec<&'static str>

The filters — "Unknown" / "Net" — that had no evidence to read, in that order. The hit was dropped from hits AND the fact rides out, because dropping it silently is the mirror defect.

Auto Trait Implementations§

§

impl<'a> Freeze for RuleHits<'a>

§

impl<'a> RefUnwindSafe for RuleHits<'a>

§

impl<'a> Send for RuleHits<'a>

§

impl<'a> Sync for RuleHits<'a>

§

impl<'a> Unpin for RuleHits<'a>

§

impl<'a> UnsafeUnpin for RuleHits<'a>

§

impl<'a> UnwindSafe for RuleHits<'a>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.