Struct stc_ts_types::CommonTypeMetadata

pub struct CommonTypeMetadata {
    pub implicit: bool,
    pub infected_by_this_in_object_literal: bool,
    pub prevent_converting_to_children: bool,
    pub contains_infer_type: bool,
    pub prevent_complex_simplification: bool,
    pub resolved_from_var: bool,
    pub prevent_generalization: bool,
    pub destructure_key: DestructureId,
}

Common metadata shared among crate::Types.

Fields

implicit: bool

infected_by_this_in_object_literal: bool

prevent_converting_to_children: bool

contains_infer_type: bool

prevent_complex_simplification: bool

If this mark is applied, type will not be inferred (based on constraint) while simplifying.

resolved_from_var: bool

This mark is applied to types resolved from variables.

Used to distinguish object literal with a reference to object literal.

prevent_generalization: bool

TODO(kdy1): Move this to LitTypeMetadata

If the mark is applied, it means that the literal should not be generalized.

destructure_key: DestructureId

Trait Implementations

impl Clone for CommonTypeMetadata

fn clone(&self) -> CommonTypeMetadata

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CommonTypeMetadata

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

Formats the value using the given formatter.

impl Default for CommonTypeMetadata

fn default() -> CommonTypeMetadata

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CommonTypeMetadata

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

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for CommonTypeMetadata

Note

This struct is treated as a span while comparison. It means, EqIgnoreSpan will always return true.

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

impl<F: ?Sized> FoldWith<F> for CommonTypeMetadata

Noop.

fn fold_children_with(self, _: &mut F) -> Self

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

impl PartialEq<CommonTypeMetadata> for CommonTypeMetadata

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

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

Serialize this value into the given Serde serializer.

impl TypeEq for CommonTypeMetadata

Note

This struct is treated as a span while comparison. It means, TypeEq will always return true.

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

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

impl<F: ?Sized> VisitMutWith<F> for CommonTypeMetadata

Noop.

fn visit_mut_children_with(&mut self, _: &mut F)

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

impl<F: ?Sized> VisitWith<F> for CommonTypeMetadata

Noop.

fn visit_children_with(&self, _: &mut F)

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

impl Copy for CommonTypeMetadata

impl Eq for CommonTypeMetadata

impl StructuralEq for CommonTypeMetadata

impl StructuralPartialEq for CommonTypeMetadata

impl Visitable for CommonTypeMetadata