Enum PropertyResult 

pub enum PropertyResult {
    Found {
        type_id: TypeId,
        optional: bool,
        readonly: bool,
    },
    NotFound,
    IndexSignature {
        value_type: TypeId,
        readonly: bool,
    },
    IsAny,
    IsUnknown,
    IsError,
}

Property access result from the Judge.

Variants

Found

Property found with this type

Fields

type_id: TypeId

optional: bool

readonly: bool

NotFound

Property not found

IndexSignature

Type has index signature that could provide the property

Fields

value_type: TypeId

readonly: bool

IsAny

Type is any - property access always succeeds with any

IsUnknown

Type is unknown - property access requires narrowing

IsError

Type is error - propagate error silently

Trait Implementations

impl Clone for PropertyResult

fn clone(&self) -> PropertyResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyResult

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

Formats the value using the given formatter.

impl PartialEq for PropertyResult

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

impl StructuralPartialEq for PropertyResult