Struct stc_ts_types::Intersection

pub struct Intersection {
    pub span: Span,
    pub types: Vec<Type>,
    pub metadata: IntersectionMetadata,
    pub tracker: Tracker<"Intersection">,
}

a & b

Fields

span: Span

types: Vec<Type>

metadata: IntersectionMetadata

tracker: Tracker<"Intersection">

Implementations

impl Intersection

pub fn assert_valid(&self)

pub fn is_trivial_never(iter: &[Type]) -> bool

Trait Implementations

impl Clone for Intersection

fn clone(&self) -> Intersection

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Intersection

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Intersection

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

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for Intersection

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

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

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

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

impl From<Intersection> for RTsType

fn from(t: Intersection) -> Self

Converts to this type from the input type.

impl From<Intersection> for Type

fn from(v: Intersection) -> Self

Converts to this type from the input type.

impl PartialEq<Intersection> for Intersection

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

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

Serialize this value into the given Serde serializer.

impl Spanned for Intersection

fn span(&self) -> Span

Get span of self.

fn span_lo(&self) -> BytePos

fn span_hi(&self) -> BytePos

impl TypeEq for Intersection

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

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

impl Valid for Intersection

fn is_valid(&self) -> bool

impl Visit<Intersection> for AssertValid

fn visit(&mut self, ty: &Intersection)

impl Visit<Intersection> for ValidityChecker

fn visit(&mut self, ty: &Intersection)

impl<V> VisitMutWith<V> for Intersectionwhere
    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 Intersectionwhere
    V: ?Sized,

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

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

impl StructuralPartialEq for Intersection

impl Visitable for Intersection