Enum Capability 

pub enum Capability {
    Types,
    NameResolution,
    CallTargets,
    MirCfg,
    MacroExpansion,
    TemplateInstantiation,
}

Something a helper can be asked for.

A helper reports the subset it can supply during the handshake, and a run asks for nothing outside that subset. The variants are the information kinds semantic analysis is built from; a helper that offers fewer is not broken, it is less capable, and Capability::absence says what that costs.

Variants

Types

Resolved types for expressions and bindings.

NameResolution

Which definition each name refers to, and whether it is outside the scanned code.

CallTargets

Resolved call targets.

MirCfg

A control-flow graph built from the compiler’s own.

MacroExpansion

Macro expansion with both spelling and expansion locations.

TemplateInstantiation

Template or generic instantiation traced to its definition.

Implementations

impl Capability

pub const ALL: [Self; 6]

Every capability this protocol revision understands.

pub const fn name(self) -> &'static str

Stable lowercase identifier, the same spelling this serializes as.

pub const fn absence(self) -> Absence

What its absence costs.

Two are load-bearing, for the same reason stated twice. Semantic mode exists to answer with what the compiler knows rather than with what the text looks like: without resolved types a run reports syntactic findings under a semantic label, and without name resolution it decides which names to compare on by guessing from their spelling, which is the structural answer wearing the same stronger name.

Everything else refines an answer those two make possible in the first place, so missing any of them narrows the result rather than misnaming it.

Trait Implementations

impl Clone for Capability

fn clone(&self) -> Capability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Capability

impl Debug for Capability

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Capability

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Capability

impl Ord for Capability

fn cmp(&self, other: &Capability) -> 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 Capability

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Capability

fn partial_cmp(&self, other: &Capability) -> 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 Serialize for Capability

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 Capability