Struct stc_ts_file_analyzer::ty::TypeLitMetadata

pub struct TypeLitMetadata {
    pub common: CommonTypeMetadata,
    pub inexact: bool,
    pub normalized: bool,
    pub specified: bool,
}

Fields

common: CommonTypeMetadata

inexact: bool

true if a spread element is used while initializing.

normalized: bool

true if a type literal is modified by object union normalizer.

specified: bool

true if a type literal is declared by user or created from other user-declared types like crate::Interface or etc..

Note

specified for a in the code below should be changed to false

declare var a: { a: string }

const b = [a, {b: 'foo'}]

because b is normalized and so that the the code above is validated.

But it should be true for the code below (copied from objectLiteralNormalization.ts).

declare function f<T>(...items: T[]): T;
declare let data: { a: 1, b: "abc", c: true };

// Object literals are inferred as a single normalized union type
let e1 = f({ a: 1, b: 2 }, { a: "abc" }, {});
let e2 = f({}, { a: "abc" }, { a: 1, b: 2 });
let e3 = f(data, { a: 2 }); // error
let e4 = f({ a: 2 }, data); // error

because tsc selects type of data instead of a normalized type literal union if one of inferred type literal is specified.

Trait Implementations

impl Clone for TypeLitMetadata

fn clone(&self) -> TypeLitMetadata

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeLitMetadata

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

Formats the value using the given formatter.

impl Default for TypeLitMetadata

fn default() -> TypeLitMetadata

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TypeLitMetadata

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

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for TypeLitMetadata

Note

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

fn eq_ignore_span(&self, &TypeLitMetadata) -> bool

impl<F> FoldWith<F> for TypeLitMetadatawhere
    F: ?Sized,

Noop.

fn fold_children_with(self, &mut F) -> TypeLitMetadata

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

impl PartialEq<TypeLitMetadata> for TypeLitMetadata

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

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 TypeEq for TypeLitMetadata

Note

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

fn type_eq(&self, &TypeLitMetadata) -> bool

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

impl TypeMetadata for TypeLitMetadata

fn common(&self) -> CommonTypeMetadata

impl<F> VisitMutWith<F> for TypeLitMetadatawhere
    F: ?Sized,

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> VisitWith<F> for TypeLitMetadatawhere
    F: ?Sized,

Noop.

fn visit_children_with(&self, &mut F)

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

impl Copy for TypeLitMetadata

impl Eq for TypeLitMetadata

impl StructuralEq for TypeLitMetadata

impl StructuralPartialEq for TypeLitMetadata

impl Visitable for TypeLitMetadata