Enum CallPrecision 

pub enum CallPrecision {
    Exact,
    Approximate,
}

How precisely a call site named the callee an edge leads to.

Both kinds of edge are sound for the capability fixed point, which only ever unions more in. They differ for anything that reports an edge to a person: an approximate edge may not exist in any real execution.

Variants

Exact

The call site names the callee: a free function, a module-qualified export, or a method of a receiver whose type is written at the call site.

Approximate

The receiver’s type is not known without a type checker, so the call site was resolved to every same-named method reachable through imports. See FnEntry::required_capabilities.

Trait Implementations

impl Clone for CallPrecision

fn clone(&self) -> CallPrecision

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CallPrecision

impl Debug for CallPrecision

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

Formats the value using the given formatter.

impl Eq for CallPrecision

impl Ord for CallPrecision

fn cmp(&self, other: &CallPrecision) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for CallPrecision

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for CallPrecision

fn partial_cmp(&self, other: &CallPrecision) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for CallPrecision