Struct TSInferType 

#[repr(C)]
pub struct TSInferType<'a> {
    pub span: Span,
    pub type_parameter: Box<'a, TSTypeParameter<'a>>,
}

TypeScript infer type

Used in a TSConditionalType to bind a type parameter when some tested type extends a desired type.

Example

type Foo<T> = T extends infer U ? U : never;
//                            ^ type_parameter

Reference

• TypeScript Handbook - Inferring With Conditional Types

Fields

span: Span

type_parameter: Box<'a, TSTypeParameter<'a>>

The type bound when the

Trait Implementations

impl<'new_alloc> CloneIn<'new_alloc> for TSInferType<'_>

type Cloned = TSInferType<'new_alloc>

The type of the cloned object.

fn clone_in( &self, allocator: &'new_alloc Allocator, ) -> <TSInferType<'_> as CloneIn<'new_alloc>>::Cloned

Clone self into the given allocator. allocator may be the same one that self is already in.

fn clone_in_with_semantic_ids( &self, allocator: &'new_alloc Allocator, ) -> <TSInferType<'_> as CloneIn<'new_alloc>>::Cloned

Almost identical as clone_in, but for some special type, it will also clone the semantic ids. Please use this method only if you make sure semantic info is synced with the ast node.

impl ContentEq for TSInferType<'_>

fn content_eq(&self, other: &TSInferType<'_>) -> bool

This method tests for contents of self and other to be equal.

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

This method tests for contents of self and other not to be equal. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Debug for TSInferType<'a>

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

Formats the value using the given formatter.

impl<'a> Dummy<'a> for TSInferType<'a>

fn dummy(allocator: &'a Allocator) -> TSInferType<'a>

Create a dummy TSInferType.

Has cost of making 1 allocation (80 bytes).

impl Gen for TSInferType<'_>

fn gen(&self, p: &mut Codegen<'_>, ctx: Context)

Generate code for an AST node.

fn print(&self, p: &mut Codegen<'_>, ctx: Context)

Generate code for an AST node. Alias for gen.

impl GetSpan for TSInferType<'_>

fn span(&self) -> Span

Get the Span for an AST node.

impl GetSpanMut for TSInferType<'_>

fn span_mut(&mut self) -> &mut Span

Get a mutable reference to an AST node’s Span.

impl<'a> TakeIn<'a> for TSInferType<'a>

fn take_in<A>(&mut self, allocator_accessor: A) -> Self

where A: AllocatorAccessor<'a>,

Replace node with a dummy.

fn take_in_box<A>(&mut self, allocator_accessor: A) -> Box<'a, Self>

where A: AllocatorAccessor<'a>,

Replace node with a boxed dummy.

impl UnstableAddress for TSInferType<'_>

fn unstable_address(&self) -> Address

Get the memory Address of a reference to an AST node in arena, which is not necessarily stable.