Struct ShapeCheckTally 

pub struct ShapeCheckTally {
    pub compared: usize,
    pub withheld_no_spec: usize,
    pub withheld_unknown_type: usize,
    pub withheld_no_source: usize,
    pub withheld_imported: usize,
}

What the live qualified-call gate’s return-shape check did with each first-party resolved call. Never reasons: a withhold is not a finding, but a round where most calls are shape-blind must read differently from a round where all of them were compared.

Fields

compared: usize

Both sides had a -spec that parsed to a known type; the shapes were compared. Drift is visible in the reasons, not double-counted here.

withheld_no_spec: usize

One or both sides declare no -spec for the called function.

withheld_unknown_type: usize

Both sides have a spec but at least one parses to SpecType::Unknown.

withheld_no_source: usize

The callee module was not readable on the source side: no checkout was supplied, or the checkout has no file at the module’s path (a defaulted --repo-dir-path that is not the source tree lands here, not in withheld_no_spec).

withheld_imported: usize

The call resolved through an -import: the callee’s -spec is in another module, so the calling module’s tables cannot compare it. Local-call axis only.

Implementations

impl ShapeCheckTally

pub fn is_empty(&self) -> bool

pub fn merge(&mut self, other: Self)

Fold another tally in, so the Erlang and Elixir extraction streams sum into one counter.

Trait Implementations

impl Clone for ShapeCheckTally

fn clone(&self) -> ShapeCheckTally

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for ShapeCheckTally

impl Debug for ShapeCheckTally

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ShapeCheckTally

fn default() -> ShapeCheckTally

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ShapeCheckTally

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ShapeCheckTally

impl PartialEq for ShapeCheckTally

fn eq(&self, other: &ShapeCheckTally) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ShapeCheckTally

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ShapeCheckTally