Enum TypeEvidence 

#[non_exhaustive]
pub enum TypeEvidence {
    Literal,
    VariableInitializer {
        name: String,
    },
    Assignment {
        name: String,
    },
    HashSlot {
        hash: String,
        key: String,
    },
    HashRefSlot {
        base: String,
        key: String,
    },
    ConstructorCall {
        package: String,
    },
    BlessLiteral {
        package: String,
    },
    AccessorReturn {
        method: String,
        field: String,
    },
    MethodReturn {
        method: String,
        package: String,
    },
    MooseIsa {
        attr: String,
        isa: String,
    },
    ObjectPadField {
        field: String,
    },
    WorkspaceSymbol {
        package: String,
    },
    Heuristic {
        reason: String,
    },
}

Evidence explaining how a type fact was produced.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Literal

Literal syntax provided the fact.

VariableInitializer

Variable initializer provided the fact.

Fields

name: String

Variable name without sigil.

Assignment

Assignment provided the fact.

Fields

name: String

Variable name without sigil.

HashSlot

Plain hash slot evidence, such as $hash{key}.

Fields

hash: String

Hash variable or literal source.

key: String

Static hash key.

HashRefSlot

Hash-reference slot evidence, such as $hashref->{key}.

Fields

base: String

Base receiver expression label.

key: String

Static hash key.

ConstructorCall

Constructor call evidence, such as Package->new.

Fields

package: String

Constructed package.

BlessLiteral

Bless literal evidence.

Fields

package: String

Blessed package.

AccessorReturn

Accessor return evidence, such as $self->db returning the db field.

Fields

method: String

Accessor method name.

field: String

Backing field or attribute name.

MethodReturn

Method-return evidence, such as $self->db returning a constructed package.

Fields

method: String

Method name.

package: String

Returned package shape.

MooseIsa

Moose/Moo isa evidence for an attribute.

Fields

attr: String

Attribute name.

isa: String

isa type string.

ObjectPadField

Object::Pad field evidence.

Fields

field: String

Field name.

WorkspaceSymbol

Workspace symbol evidence.

Fields

package: String

Package resolved from workspace symbols.

Heuristic

Heuristic fallback evidence.

Fields

reason: String

Explanation for the heuristic.

Trait Implementations

impl Clone for TypeEvidence

fn clone(&self) -> TypeEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeEvidence

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

Formats the value using the given formatter.

impl PartialEq for TypeEvidence

fn eq(&self, other: &TypeEvidence) -> 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 StructuralPartialEq for TypeEvidence