Struct TypeExtends 

pub struct TypeExtends {
    pub item: TypeId,
    pub extends: TypeId,
}

This if from the type annotation is

Fields

item: TypeId

extends: TypeId

Implementations

impl TypeExtends

pub fn from_type(rhs: TypeId, types: &TypeStore) -> Result<Self, ()>

This does typeof, === and instanceof

Because of type representation and the fact this cannot generate types the following are not covered

• negation. Cannot create Not
• number intrinsincs. Cannot create LessThan, GreaterThan, etc
• has property. Cannot create new object

pub fn equal_to_rhs(&self, rhs: TypeId, types: &TypeStore) -> bool

Trait Implementations

impl Clone for TypeExtends

fn clone(&self) -> TypeExtends

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExtends

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

Formats the value using the given formatter.

impl Copy for TypeExtends