Struct stc_ts_file_analyzer::ty::Intersection

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

a & b

Fields

span: Span

types: Vec<Type, Global>

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<(), Error>

Formats the value using the given formatter.

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

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

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for Intersection

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

impl Fix for Intersection

fn fix(&mut self)

fn fixed(self) -> Self

impl Fold<Intersection> for TypeFactsHandler<'_, '_, '_>

fn fold(&mut self, ty: Intersection) -> Intersection

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

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

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

impl From<Intersection> for Type

fn from(v: Intersection) -> Type

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 RemoveTypes for Intersection

fn remove_falsy(self) -> Type

Removes falsy values from self.

fn remove_truthy(self) -> Type

Removes truthy values from self.

impl Serialize for Intersection

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 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: &Intersection) -> bool

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

impl Valid for Intersection

fn is_valid(&self) -> bool

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