Struct stc_ts_file_analyzer::ty::Instance

pub struct Instance {
    pub span: Span,
    pub ty: Box<Type, Global>,
    pub metadata: InstanceMetadata,
    pub tracker: Tracker<"Instance">,
}

Special type to denote instance of various types.

This is normalized on any operations. Analyzer#normalize() will normalize this variant.

Used to handle code like

class Derived {
    static create() {
        return new this();
    }
}

Fields

span: Span

ty: Box<Type, Global>

metadata: InstanceMetadata

tracker: Tracker<"Instance">

Trait Implementations

impl Clone for Instance

fn clone(&self) -> Instance

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Instance

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Instance

fn deserialize<__D>(
    __deserializer: __D
) -> Result<Instance, <__D as Deserializer<'de>>::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for Instance

fn eq_ignore_span(&self, other: &Instance) -> bool

impl<V> FoldWith<V> for Instancewhere
    V: ?Sized,

fn fold_children_with(self, _visitor: &mut V) -> Instance

fn fold_with(self, visitor: &mut V) -> Selfwhere
    V: Fold<Self>,

impl From<Instance> for Type

fn from(v: Instance) -> Type

Converts to this type from the input type.

impl PartialEq<Instance> for Instance

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Instance

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

Serialize this value into the given Serde serializer.

impl Spanned for Instance

fn span(&self) -> Span

Get span of self.

fn span_lo(&self) -> BytePos

fn span_hi(&self) -> BytePos

impl TypeEq for Instance

fn type_eq(&self, other: &Instance) -> bool

Note: This method should return true for non-type values.

impl<V> VisitMutWith<V> for Instancewhere
    V: ?Sized,

fn visit_mut_children_with(&mut self, _visitor: &mut V)

fn visit_mut_with(&mut self, visitor: &mut V)where
    V: VisitMut<Self>,

impl<V> VisitWith<V> for Instancewhere
    V: ?Sized,

fn visit_children_with(&self, _visitor: &mut V)

fn visit_with(&self, visitor: &mut V)where
    V: Visit<Self>,

impl StructuralPartialEq for Instance

impl Visitable for Instance