=======================================
Built-in types
=======================================

var x: string = 'hi';
var y: number;

---

(program
  (variable_declaration (variable_declarator
    (identifier)
    (type_annotation (predefined_type))
    (string (string_fragment))))
  (variable_declaration (variable_declarator
    (identifier)
    (type_annotation (predefined_type)))))

=======================================
Parenthesized types
=======================================

var x: (string);
var x: ({a: any});

---

(program
  (variable_declaration (variable_declarator
    (identifier)
    (type_annotation (parenthesized_type (predefined_type)))))
  (variable_declaration (variable_declarator
    (identifier)
    (type_annotation (parenthesized_type
      (object_type
        (property_signature (property_identifier) (type_annotation (predefined_type))))))))
)

=======================================
Object types
=======================================

let person: {name: string, age: number};
let thing: { [type: string]: string };
type T = { [K in keyof T]-?: any }
type T = { [K in keyof T]?: any }
type T = { -readonly [K in keyof T]: any }

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation (object_type
      (property_signature (property_identifier) (type_annotation (predefined_type)))
      (property_signature (property_identifier) (type_annotation (predefined_type)))))))
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation (object_type
      (index_signature (identifier) (predefined_type) (type_annotation (predefined_type)))))))
  (type_alias_declaration
    (type_identifier)
    (object_type
      (index_signature
        (mapped_type_clause
          (type_identifier)
          (index_type_query (type_identifier)))
        (omitting_type_annotation (predefined_type)))))
  (type_alias_declaration
    (type_identifier)
    (object_type
      (index_signature
        (mapped_type_clause
          (type_identifier)
          (index_type_query (type_identifier)))
        (opting_type_annotation (predefined_type)))))
  (type_alias_declaration
    (type_identifier)
    (object_type
      (index_signature
        (mapped_type_clause
          (type_identifier)
          (index_type_query (type_identifier)))
        (type_annotation (predefined_type))))))

=======================================
Object types with call signatures
=======================================

let MyFunction: {
  (string): string,
  length: number
};

---

(program
  (lexical_declaration
    (variable_declarator
      (identifier)
      (type_annotation (object_type
        (call_signature
          (formal_parameters (required_parameter (identifier)))
          (type_annotation (predefined_type)))
        (property_signature
          (property_identifier)
          (type_annotation (predefined_type))))))))

====================================================
Index signatures
====================================================

type Foo = {
  [b: string]: any;
  readonly [c: number]: string;
}

---

(program
  (type_alias_declaration
    (type_identifier)
    (object_type
      (index_signature
        (identifier)
        (predefined_type)
        (type_annotation (predefined_type)))
      (index_signature
        (identifier)
        (predefined_type)
        (type_annotation (predefined_type))))))

====================================================
Object types with automatic semicolon insertion
====================================================

type Something = {
  length: number
  (string): string
  [index:string] : number
}

---

(program
  (type_alias_declaration
    (type_identifier)
    (object_type
      (property_signature
        (property_identifier)
        (type_annotation (predefined_type)))
      (call_signature
        (formal_parameters (required_parameter (identifier)))
        (type_annotation (predefined_type)))
      (index_signature
        (identifier)
        (predefined_type)
        (type_annotation (predefined_type))))))

==========================================================
Automatic semicolon disabled before return type
==========================================================

function f(): any {
  'a';
  'b';
}

function
f
()
 :
 any {
  'a'
  'b'
}

---

(program
  (function_declaration
    (identifier)
    (formal_parameters)
    (type_annotation (predefined_type))
    (statement_block
      (expression_statement (string (string_fragment)))
      (expression_statement (string (string_fragment)))))
  (function_declaration
    (identifier)
    (formal_parameters)
    (type_annotation (predefined_type))
    (statement_block
      (expression_statement (string (string_fragment)))
      (expression_statement (string (string_fragment))))))

=======================================
Array types
=======================================

let x: X[];

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation (array_type (type_identifier))))))

=======================================
Function types
=======================================

let x: (result: string) => any;
const foo: (this: Readable, size?: number) => any;


---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation
      (function_type
        (formal_parameters
          (required_parameter (identifier) (type_annotation (predefined_type))))
        (predefined_type)))))
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation
      (function_type
        (formal_parameters
          (required_parameter (this) (type_annotation (type_identifier)))
          (optional_parameter (identifier) (type_annotation (predefined_type))))
        (predefined_type))))))

======================================
Functions with destructured parameters
======================================

let foo: ({a}: Foo) => number

---

(program
  (lexical_declaration
    (variable_declarator
      (identifier)
      (type_annotation
        (function_type
          (formal_parameters
            (required_parameter
              (object_pattern (shorthand_property_identifier_pattern))
              (type_annotation (type_identifier))))
          (predefined_type))))))

=======================================
Constructor types
=======================================

let x: new < T1, T2 > ( p1, p2 ) => R;

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation
      (constructor_type
        (type_parameters (type_parameter (type_identifier)) (type_parameter (type_identifier)))
        (formal_parameters
          (required_parameter (identifier)) (required_parameter (identifier)))
        (type_identifier))))))


=======================================
Type annotations in parenthesized expressions
=======================================

const range = (document: any).selection.createRange()

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
  (call_expression
  (member_expression
    (member_expression
      (parenthesized_expression (identifier) (type_annotation (predefined_type)))
      (property_identifier))
    (property_identifier))
  (arguments)))))

=======================================
Flow Maybe Types
=======================================

const editor: ?CodeEditor
const miscArray: ?T[]

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation (flow_maybe_type (type_identifier)))))
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation (flow_maybe_type (array_type (type_identifier)))))))

=======================================
Flow Import Types
=======================================

import type {UserID, User} from "./User.js";
import {type UserID, type User} from "./User.js";
import typeof {jimiguitar as GuitarT} from "./User.js";
import type UserID, {addUser, removeUser} from './User.js';

---

(program
  (import_statement
    (import_clause
      (named_imports (import_specifier (identifier)) (import_specifier (identifier)))) (string (string_fragment)))
  (import_statement
    (import_clause
      (named_imports (import_specifier (identifier)) (import_specifier (identifier)))) (string (string_fragment)))
  (import_statement
    (import_clause
      (named_imports (import_specifier (identifier) (identifier)))) (string (string_fragment)))
  (import_statement
    (import_clause (identifier)
      (named_imports (import_specifier (identifier)) (import_specifier (identifier)))) (string (string_fragment))))

=======================================
Type-only Export
=======================================

export type { UserType }
export type { UserType } from "./User.js";
export type { A, B, C as D } from 'mymodule';

---

(program
  (export_statement (export_clause (export_specifier (identifier))))
  (export_statement
    (export_clause (export_specifier (identifier)))
    (string (string_fragment)))
  (export_statement
    (export_clause
      (export_specifier (identifier))
      (export_specifier (identifier))
      (export_specifier (identifier) (identifier)))
    (string (string_fragment))))

=======================================
Flow Export Types
=======================================

export type UserType = {};
export interface UserInterface {}

---

(program
  (export_statement (type_alias_declaration (type_identifier) (object_type)))
  (export_statement (interface_declaration (type_identifier) (object_type))))

=======================================
Type alias declarations
=======================================

type FileMergeData = {
  document: Doc,
  headDocument: Doc,
  baseDocument: Doc,
  conflicts: ConflictInfo[]
}

type ConflictInfo = {
  start?: LineHandle,
  middle?: LineHandle,
  end?: LineHandle
}

---

(program
  (type_alias_declaration
    (type_identifier)
    (object_type
      (property_signature (property_identifier) (type_annotation (type_identifier)))
      (property_signature (property_identifier) (type_annotation (type_identifier)))
      (property_signature (property_identifier) (type_annotation (type_identifier)))
      (property_signature (property_identifier) (type_annotation (array_type (type_identifier))))))

  (type_alias_declaration
    (type_identifier)
    (object_type
      (property_signature (property_identifier) (type_annotation (type_identifier)))
      (property_signature (property_identifier) (type_annotation (type_identifier)))
      (property_signature (property_identifier) (type_annotation (type_identifier))))))

=======================================
Enum declarations
=======================================

enum Test {
    A,
    'B',
    'C' = Math.floor(Math.random() * 1000),
    D = 10,
    E
}

enum Style {
    None = 0,
    Bold = 1,
    Italic = 2,
    Underline = 4,
    Emphasis = Bold | Italic,
    Hyperlink = Bold | Underline
}

---

(program
  (enum_declaration (identifier) (enum_body
    (property_identifier)
    (string (string_fragment))
    (enum_assignment
      (string (string_fragment))
      (call_expression
        (member_expression (identifier) (property_identifier))
        (arguments (binary_expression (call_expression (member_expression (identifier) (property_identifier)) (arguments)) (number)))))
    (enum_assignment (property_identifier) (number))
    (property_identifier)))
  (enum_declaration (identifier) (enum_body
    (enum_assignment (property_identifier) (number))
    (enum_assignment (property_identifier) (number))
    (enum_assignment (property_identifier) (number))
    (enum_assignment (property_identifier) (number))
    (enum_assignment (property_identifier) (binary_expression (identifier) (identifier)))
    (enum_assignment (property_identifier) (binary_expression (identifier) (identifier))))))

=======================================
Interface declarations
=======================================

interface A { a: string; }

interface B extends A { b: string; }

interface Friend {
    name: string;
    favoriteColor?: string;
}

interface G<T, U extends B> {
    x: T;
    y: U;
}

interface X {
  hook: {
  }
  get(key: Key): Promise<T>;
}

interface Enum extends Bar, Baz, Foo<A> {
  public toEnum(): Int;
}

---

(program
  (interface_declaration
    (type_identifier)
    (object_type (property_signature (property_identifier) (type_annotation (predefined_type)))))
  (interface_declaration
    (type_identifier)
    (extends_type_clause (type_identifier))
    (object_type (property_signature (property_identifier) (type_annotation (predefined_type)))))
  (interface_declaration
    (type_identifier)
    (object_type
      (property_signature (property_identifier) (type_annotation (predefined_type)))
      (property_signature (property_identifier) (type_annotation (predefined_type)))))
  (interface_declaration
    (type_identifier)
    (type_parameters (type_parameter (type_identifier)) (type_parameter (type_identifier) (constraint (type_identifier))))
    (object_type
      (property_signature (property_identifier) (type_annotation (type_identifier)))
      (property_signature (property_identifier) (type_annotation (type_identifier)))))
  (interface_declaration
    (type_identifier)
    (object_type
      (property_signature (property_identifier) (type_annotation (object_type)))
      (method_signature
        (property_identifier)
        (formal_parameters
          (required_parameter (identifier) (type_annotation (type_identifier))))
        (type_annotation
          (generic_type (type_identifier) (type_arguments (type_identifier)))))))
  (interface_declaration
    (type_identifier)
    (extends_type_clause
      (type_identifier)
      (type_identifier)
      (generic_type (type_identifier) (type_arguments (type_identifier))))
      (object_type
        (method_signature
          (accessibility_modifier)
          (property_identifier)
          (formal_parameters)
          (type_annotation (type_identifier))))))

=======================================
Generic types
=======================================

class A<
  B,
  C,
> {}

class D extends A<
  X,
  Y,
> {}

class E extends funThatEvalsToClass()<
  X,
  Y,
> {}

---

(program
  (class_declaration
    (type_identifier)
    (type_parameters (type_parameter (type_identifier)) (type_parameter (type_identifier)))
    (class_body))
  (class_declaration
    (type_identifier)
    (class_heritage (extends_clause
      (identifier)
      (type_arguments (type_identifier) (type_identifier))))
    (class_body))
  (class_declaration
    (type_identifier)
    (class_heritage
      (extends_clause
        (call_expression (identifier) (arguments))
        (type_arguments (type_identifier) (type_identifier))))
    (class_body)))

=======================================
Existential types
=======================================

let x: Array<*>

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation (generic_type (type_identifier) (type_arguments (existential_type)))))))

=======================================
Flow Union types
=======================================

type U = number | string;
type Z = | "foo" | "bar";
type Z = | "foo";

---

(program
  (type_alias_declaration (type_identifier) (union_type (predefined_type) (predefined_type)))
  (type_alias_declaration (type_identifier) (union_type (union_type (literal_type (string (string_fragment)))) (literal_type (string (string_fragment)))))
  (type_alias_declaration (type_identifier) (union_type (literal_type (string (string_fragment))))))

=======================================
Flow Intersection types
=======================================

type BrowserStats$ResourceTiming = number & string;

---

(program (type_alias_declaration
  (type_identifier)
  (intersection_type (predefined_type) (predefined_type))))

=======================================
Flow exact object types
=======================================

type BrowserStats = {|
  url: string,
  ms: number
|}

---

(program
  (type_alias_declaration
    (type_identifier)
    (object_type
      (property_signature (property_identifier) (type_annotation (predefined_type)))
      (property_signature (property_identifier) (type_annotation (predefined_type))))))


=======================================
Literal types
=======================================

let x: 2
let x: 2 | -3 | +4
let x: "string"
let x: false

---

(program
  (lexical_declaration
    (variable_declarator (identifier) (type_annotation (literal_type (number)))))
  (lexical_declaration
    (variable_declarator (identifier) (type_annotation (union_type (union_type (literal_type (number)) (literal_type (unary_expression (number)))) (literal_type (unary_expression (number)))))))
  (lexical_declaration
    (variable_declarator (identifier) (type_annotation (literal_type (string (string_fragment)))))) (lexical_declaration (variable_declarator (identifier) (type_annotation (literal_type (false))))))

=======================================
Flow type parameter constraint syntax
=======================================

type HandlerFunction<T: Element> = void

---

(program
  (type_alias_declaration
    (type_identifier)
    (type_parameters (type_parameter (type_identifier) (constraint (type_identifier))))
  (predefined_type)))


=======================================
Nested type arguments
=======================================

interface X {
  x(): Promise<Array<Foo>>;
}

var y: Map<number, Promise<Map<bool, Map<Foo, Bar>>>>

---

(program
  (interface_declaration
    (type_identifier)
    (object_type
      (method_signature
        (property_identifier)
        (formal_parameters)
        (type_annotation
          (generic_type
            (type_identifier)
            (type_arguments
              (generic_type (type_identifier) (type_arguments (type_identifier)))))))))
  (variable_declaration (variable_declarator
    (identifier)
    (type_annotation (generic_type
      (type_identifier)
      (type_arguments
        (predefined_type)
        (generic_type
          (type_identifier)
          (type_arguments (generic_type
            (type_identifier)
            (type_arguments
              (type_identifier)
              (generic_type
                (type_identifier)
                (type_arguments
                  (type_identifier)
                  (type_identifier)))))))))))))

=======================================
predefined types as identifiers
=======================================

let score: (string: string, query: string) => number

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (type_annotation
    (function_type
      (formal_parameters
        (required_parameter (identifier) (type_annotation (predefined_type)))
        (required_parameter (identifier) (type_annotation (predefined_type))))
      (predefined_type))))))

=======================================
Non-null assertion operator
=======================================

const repository = foo++!

---

(program
  (lexical_declaration (variable_declarator
    (identifier)
    (non_null_expression (update_expression (identifier))))))

=======================================
Type query and index type query types
=======================================

type T = keyof Person;
type T = keyof Person.P;
type T = keyof Person<P>;
type T = keyof (Person);

type T = typeof Person;
type T = typeof Person.P;
type T = typeof import('person');

type T = keyof typeof Person;

type T = keyof U[number];
type T = keyof U & V;

type T = typeof array[number];

---

(program
  (type_alias_declaration (type_identifier)
    (index_type_query (type_identifier)))
  (type_alias_declaration (type_identifier)
    (index_type_query (nested_type_identifier (identifier) (type_identifier))))
  (type_alias_declaration (type_identifier)
    (index_type_query (generic_type (type_identifier) (type_arguments (type_identifier)))))
  (type_alias_declaration (type_identifier)
    (index_type_query (parenthesized_type (type_identifier))))
  (type_alias_declaration (type_identifier)
    (type_query (identifier)))
  (type_alias_declaration (type_identifier)
    (type_query (member_expression (identifier) (property_identifier))))
  (type_alias_declaration (type_identifier)
    (type_query (call_expression (import) (arguments (string (string_fragment))))))
  (type_alias_declaration (type_identifier)
    (index_type_query (type_query (identifier))))
  (type_alias_declaration (type_identifier)
    (index_type_query (lookup_type (type_identifier) (predefined_type))))
  (type_alias_declaration (type_identifier)
    (intersection_type (index_type_query (type_identifier)) (type_identifier)))
  (type_alias_declaration (type_identifier)
    (type_query (subscript_expression (identifier) (predefined_type)))))

=======================================
Lookup types
=======================================

type K1 = Foo[bar]
type K1 = Foo['bar' | 'baz']

---

(program
  (type_alias_declaration
    (type_identifier)
    (lookup_type (type_identifier) (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (lookup_type (type_identifier) (union_type (literal_type (string (string_fragment))) (literal_type (string (string_fragment)))))))


=======================================
Mapped types
=======================================

export type NoInfer<T> = T & { [K in keyof T]: T[K] };

---

(program
  (export_statement
  (type_alias_declaration
    (type_identifier)
    (type_parameters (type_parameter (type_identifier)))
    (intersection_type (type_identifier)
      (object_type
        (index_signature
          (mapped_type_clause
            (type_identifier)
            (index_type_query (type_identifier)))
          (type_annotation (lookup_type (type_identifier)
  (type_identifier)))))))))

=======================================
Assertion functions checking a value
=======================================

function f(x: any): asserts x {
}

---

(program
  (function_declaration
    (identifier)
    (formal_parameters
      (required_parameter (identifier) (type_annotation (predefined_type))))
    (asserts (identifier))
    (statement_block)))

=======================================
Assertion functions checking a type
=======================================

function f(x: any): asserts x is number {
}

class Foo<T> {
  test(): this is T {}
}

function isT(t: T): t is T {
  return true
}

---

(program
  (function_declaration
    (identifier)
    (formal_parameters
    (required_parameter
      (identifier) (type_annotation (predefined_type))))
    (asserts
      (type_predicate (identifier) (predefined_type)))
    (statement_block))
  (class_declaration
    (type_identifier)
    (type_parameters (type_parameter (type_identifier)))
    (class_body
      (method_definition
        (property_identifier)
        (formal_parameters)
        (type_predicate_annotation
          (type_predicate
            (this)
            (type_identifier)))
        (statement_block))))
  (function_declaration
    (identifier)
    (formal_parameters
      (required_parameter
        (identifier)
        (type_annotation (type_identifier))))
    (type_predicate_annotation
      (type_predicate
        (identifier)
        (type_identifier)))
    (statement_block (return_statement (true)))))

==================================
Read-only arrays
==================================

type t = a[]
type t = readonly a[]
type t = readonly a[][]
type t = (readonly a[])[]
type t = readonly (readonly a[]) []

---

(program
  (type_alias_declaration
    (type_identifier)
    (array_type
      (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (readonly_type
      (array_type (type_identifier))))
  (type_alias_declaration
    (type_identifier)
    (readonly_type
      (array_type
        (array_type
          (type_identifier)))))
  (type_alias_declaration
    (type_identifier)
    (array_type
      (parenthesized_type
        (readonly_type
          (array_type (type_identifier))))))
  (type_alias_declaration
    (type_identifier)
    (readonly_type
      (array_type
        (parenthesized_type
          (readonly_type
            (array_type
              (type_identifier))))))))

==================================
Tuple types
==================================

type t = []
type t = [A,]
type t = [A|B, C]
type t = readonly [A[], B.C]

// special optional and rest type syntax
type t = [string?, ...B]

// labeled elements
type t = [a: A, b?: B, ...c: C[]]

---

(program
  (type_alias_declaration
    (type_identifier)
    (tuple_type))
  (type_alias_declaration
    (type_identifier)
    (tuple_type
      (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (tuple_type
      (union_type
        (type_identifier)
        (type_identifier))
      (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (readonly_type
      (tuple_type
        (array_type (type_identifier))
        (nested_type_identifier
          (identifier)
          (type_identifier)))))
  (comment)
  (type_alias_declaration
    (type_identifier)
    (tuple_type
      (optional_type (predefined_type))
      (rest_type (type_identifier))))
  (comment)
  (type_alias_declaration
    (type_identifier)
    (tuple_type
      (required_parameter
        (identifier)
        (type_annotation (type_identifier)))
      (optional_parameter
        (identifier)
        (type_annotation     (type_identifier)))
      (required_parameter
        (rest_pattern (identifier))
        (type_annotation (array_type (type_identifier)))))))

==================================
Conditional types
==================================

type T = X extends Y ? Z : Y
type T = X extends ?Y ? ?X : Y
type F<T, X, Y> = ((t: T) => X extends Y ? X : Y) extends ((t: T) => X extends Y ? Y : X) ? X : Y
type F<T, X, Y> = (t: T) => X extends Y ? X : Y extends (t: T) => X extends Y ? Y : X ? X : Y
type T<X, Y> = T extends X<infer Y> ? Y : X
type T<X> = X extends (infer X)[] ? X : never;
type T<X> = T extends { x: infer X } ? X : never;

---
(program
  (type_alias_declaration (type_identifier)
    (conditional_type
      (type_identifier)
      (type_identifier)
      (type_identifier)
      (type_identifier)))
  (type_alias_declaration (type_identifier)
    (conditional_type
      (type_identifier)
      (flow_maybe_type (type_identifier))
      (flow_maybe_type (type_identifier))
      (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter (type_identifier))
      (type_parameter (type_identifier))
      (type_parameter (type_identifier)))
    (conditional_type
      (parenthesized_type
        (function_type
          (formal_parameters
            (required_parameter
              (identifier)
              (type_annotation (type_identifier))))
          (conditional_type
            (type_identifier)
            (type_identifier)
            (type_identifier)
            (type_identifier))))
      (parenthesized_type
        (function_type
          (formal_parameters
            (required_parameter
              (identifier)
              (type_annotation (type_identifier))))
          (conditional_type
            (type_identifier)
            (type_identifier)
            (type_identifier)
            (type_identifier))))
      (type_identifier)
      (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter (type_identifier))
      (type_parameter (type_identifier))
      (type_parameter (type_identifier)))
    (function_type
      (formal_parameters
        (required_parameter
          (identifier)
          (type_annotation (type_identifier))))
      (conditional_type
        (conditional_type
          (type_identifier)
          (type_identifier)
          (type_identifier)
          (type_identifier))
        (function_type
          (formal_parameters
            (required_parameter
              (identifier)
              (type_annotation (type_identifier))))
          (conditional_type
            (type_identifier)
            (type_identifier)
            (type_identifier)
            (type_identifier)))
        (type_identifier)
        (type_identifier))))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter (type_identifier))
      (type_parameter (type_identifier)))
    (conditional_type
      (type_identifier)
      (generic_type
        (type_identifier)
        (type_arguments
          (infer_type (type_identifier))))
      (type_identifier)
      (type_identifier)))
    (type_alias_declaration
      (type_identifier)
      (type_parameters
        (type_parameter (type_identifier)))
      (conditional_type
        (type_identifier)
        (array_type
          (parenthesized_type (infer_type (type_identifier))))
        (type_identifier)
        (predefined_type)))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter (type_identifier)))
      (conditional_type
        (type_identifier)
        (object_type
          (property_signature
            (property_identifier)
            (type_annotation (infer_type (type_identifier)))))
      (type_identifier)
      (predefined_type))))

==================================
Template literal types
==================================

type A<B, C> = `${B}${C}`;
type A = `${B[0]}-foo-${C}-bar-${D<U, D>}`
type A = `[${'a'}${0}]`
type A<B, C> = B extends C
  ? C extends string
    ? `${C}${"" extends C ? "" : "."}${B}`
    : never
  : never
type Trim<S extends string> = S extends `${infer R}` ? Trim<R>  : S;
type A = `${true & ('foo' | false)}`;
---
(program
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter
        (type_identifier))
      (type_parameter
        (type_identifier)))
    (template_literal_type
      (template_type
        (type_identifier))
      (template_type
        (type_identifier))))
  (type_alias_declaration
    (type_identifier)
    (template_literal_type
      (template_type
        (lookup_type
          (type_identifier)
          (literal_type
            (number))))
      (template_type
        (type_identifier))
      (template_type
        (generic_type
          (type_identifier)
          (type_arguments
            (type_identifier)
            (type_identifier))))))
  (type_alias_declaration
    (type_identifier)
    (template_literal_type
      (template_type
        (literal_type
          (string
            (string_fragment))))
      (template_type
        (literal_type
          (number)))))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter
        (type_identifier))
      (type_parameter
        (type_identifier)))
    (conditional_type
      (type_identifier)
      (type_identifier)
      (conditional_type
        (type_identifier)
        (predefined_type)
        (template_literal_type
          (template_type
            (type_identifier))
          (template_type
            (conditional_type
              (literal_type
                (string))
              (type_identifier)
              (literal_type
                (string))
              (literal_type
                (string
                  (string_fragment)))))
          (template_type
            (type_identifier)))
        (predefined_type))
      (predefined_type)))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter
        (type_identifier)
        (constraint
          (predefined_type))))
    (conditional_type
      (type_identifier)
      (template_literal_type
        (template_type
          (infer_type
            (type_identifier))))
      (generic_type
        (type_identifier)
        (type_arguments
          (type_identifier)))
      (type_identifier)))
  (type_alias_declaration
    (type_identifier)
    (template_literal_type
      (template_type
        (intersection_type
          (literal_type
            (true))
          (parenthesized_type
            (union_type
              (literal_type
                (string
                  (string_fragment)))
              (literal_type
                (false)))))))))

==================================
Mapped type 'as' clauses
==================================

type A<B> = { [B in keyof C & string as `get${Capitalize<P>}`]: () => A[B] };
type A<B> = { [B in keyof C & string as `${P}1` | `${P}2`]: A[B] }

---

(program
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter
        (type_identifier)))
    (object_type
      (index_signature
        (mapped_type_clause
          (type_identifier)
          (intersection_type
            (index_type_query
              (type_identifier))
            (predefined_type))
          (template_literal_type
            (template_type
              (generic_type
                (type_identifier)
                (type_arguments
                  (type_identifier))))))
        (type_annotation
          (function_type
            (formal_parameters)
            (lookup_type
              (type_identifier)
              (type_identifier)))))))
  (type_alias_declaration
    (type_identifier)
    (type_parameters
      (type_parameter
        (type_identifier)))
    (object_type
      (index_signature
        (mapped_type_clause
          (type_identifier)
          (intersection_type
            (index_type_query
              (type_identifier))
            (predefined_type))
          (union_type
            (template_literal_type
              (template_type
                (type_identifier)))
            (template_literal_type
              (template_type
                (type_identifier)))))
        (type_annotation
          (lookup_type
            (type_identifier)
            (type_identifier)))))))

============================
typeof in generic arguments
============================

type T = Foo<Bar<typeof bar>>
type T = Foo<Bar<typeof bar.baz>>
type T = Foo<Bar<typeof bar["baz"]>>

---

(program
  (type_alias_declaration
    (type_identifier)
    (generic_type
      (type_identifier)
      (type_arguments
        (generic_type
          (type_identifier)
          (type_arguments
            (type_query
              (identifier)))))))
  (type_alias_declaration
    (type_identifier)
    (generic_type
      (type_identifier)
      (type_arguments
        (generic_type
          (type_identifier)
          (type_arguments
            (type_query
              (member_expression
                (identifier)
                (property_identifier))))))))
  (type_alias_declaration
    (type_identifier)
    (generic_type
      (type_identifier)
      (type_arguments
        (generic_type
          (type_identifier)
          (type_arguments
            (type_query
              (subscript_expression
                (identifier)
                (string
                  (string_fragment))))))))))

==================================
Literal types and pre-defined types
==================================

type T = Foo<any, unknown, number, string, void, true, false, null, undefined, 0, "foo">

---

(program
  (type_alias_declaration
    (type_identifier)
    (generic_type
      (type_identifier)
      (type_arguments
        (predefined_type)
        (predefined_type)
        (predefined_type)
        (predefined_type)
        (predefined_type)
        (literal_type
          (true))
        (literal_type
          (false))
        (literal_type
          (null))
        (literal_type
          (undefined))
        (literal_type
          (number))
        (literal_type
          (string
            (string_fragment)))))))
