{
  "type": "Program",
  "statements": [
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "a",
            "typeAnnotation": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 18,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 18,
                  "column": 14,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 18,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 18,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 18,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 18,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 18,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 18,
          "column": 15,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "b",
            "typeAnnotation": {
              "type": "TSStringKeyword",
              "loc": {
                "start": {
                  "line": 19,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 19,
                  "column": 14,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 19,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 19,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 19,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 19,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 19,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 19,
          "column": 15,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "c",
            "typeAnnotation": {
              "type": "TSBooleanKeyword",
              "loc": {
                "start": {
                  "line": 20,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 20,
                  "column": 15,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 20,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 20,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 20,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 20,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 20,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 20,
          "column": 16,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "d",
            "typeAnnotation": {
              "type": "TSVoidKeyword",
              "loc": {
                "start": {
                  "line": 21,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 21,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 21,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 21,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 21,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 21,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 21,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 21,
          "column": 13,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "e",
            "typeAnnotation": {
              "type": "TSNullKeyword",
              "loc": {
                "start": {
                  "line": 22,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 22,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 22,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 22,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 22,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 22,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 22,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 22,
          "column": 13,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "f",
            "typeAnnotation": {
              "type": "TSUndefinedKeyword",
              "loc": {
                "start": {
                  "line": 23,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 23,
                  "column": 17,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 23,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 23,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 23,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 23,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 23,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 23,
          "column": 18,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "g",
            "typeAnnotation": {
              "type": "TSUnknownKeyword",
              "loc": {
                "start": {
                  "line": 24,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 24,
                  "column": 15,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 24,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 24,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 24,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 24,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 24,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 24,
          "column": 16,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "h",
            "typeAnnotation": {
              "type": "TSNeverKeyword",
              "loc": {
                "start": {
                  "line": 25,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 25,
                  "column": 13,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 25,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 25,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 25,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 25,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 25,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 25,
          "column": 14,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "i",
            "typeAnnotation": {
              "type": "TSAnyKeyword",
              "loc": {
                "start": {
                  "line": 26,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 26,
                  "column": 11,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 26,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 26,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 26,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 26,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 26,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 26,
          "column": 12,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "j",
            "typeAnnotation": {
              "type": "TSBigIntKeyword",
              "loc": {
                "start": {
                  "line": 27,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 27,
                  "column": 14,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 27,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 27,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 27,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 27,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 27,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 27,
          "column": 15,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "k",
            "typeAnnotation": {
              "type": "TSObjectKeyword",
              "loc": {
                "start": {
                  "line": 28,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 28,
                  "column": 14,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 28,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 28,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 28,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 28,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 28,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 28,
          "column": 15,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "l",
            "typeAnnotation": {
              "type": "TSArrayType",
              "elementType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 31,
                    "column": 8,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 31,
                    "column": 14,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "annotations": [],
              "loc": {
                "start": {
                  "line": 31,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 31,
                  "column": 16,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 31,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 31,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 31,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 31,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 31,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 31,
          "column": 17,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "m",
            "typeAnnotation": {
              "type": "TSArrayType",
              "elementType": {
                "type": "TSArrayType",
                "elementType": {
                  "type": "TSStringKeyword",
                  "loc": {
                    "start": {
                      "line": 32,
                      "column": 8,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 32,
                      "column": 14,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                "annotations": [],
                "loc": {
                  "start": {
                    "line": 32,
                    "column": 8,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 32,
                    "column": 16,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "annotations": [],
              "loc": {
                "start": {
                  "line": 32,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 32,
                  "column": 18,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 32,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 32,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 32,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 32,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 32,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 32,
          "column": 19,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "n",
            "typeAnnotation": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSUnknownKeyword",
                    "loc": {
                      "start": {
                        "line": 33,
                        "column": 8,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 33,
                        "column": 15,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "annotations": [],
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 8,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 33,
                      "column": 17,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "BigIntLiteral",
                      "value": "5",
                      "loc": {
                        "start": {
                          "line": 33,
                          "column": 20,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 33,
                          "column": 22,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 33,
                        "column": 20,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 33,
                        "column": 22,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "annotations": [],
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 20,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 33,
                      "column": 24,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 33,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 33,
                  "column": 24,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 33,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 33,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 33,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 33,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 33,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 33,
          "column": 25,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "o",
            "typeAnnotation": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSParenthesizedType",
                    "typeAnnotation": {
                      "type": "TSUnionType",
                      "types": [
                        {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 36,
                              "column": 9,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 36,
                              "column": 15,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 36,
                              "column": 18,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 36,
                              "column": 24,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 36,
                          "column": 9,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 36,
                          "column": 24,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 8,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 36,
                        "column": 25,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "annotations": [],
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 8,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 36,
                      "column": 27,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "BooleanLiteral",
                    "value": true,
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 30,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 36,
                        "column": 34,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 30,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 36,
                      "column": 34,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSParenthesizedType",
                    "typeAnnotation": {
                      "type": "TSUnionType",
                      "types": [
                        {
                          "type": "TSArrayType",
                          "elementType": {
                            "type": "TSParenthesizedType",
                            "typeAnnotation": {
                              "type": "TSUnionType",
                              "types": [
                                {
                                  "type": "TSArrayType",
                                  "elementType": {
                                    "type": "TSUndefinedKeyword",
                                    "loc": {
                                      "start": {
                                        "line": 36,
                                        "column": 39,
                                        "program": "test-type-annotation.ts"
                                      },
                                      "end": {
                                        "line": 36,
                                        "column": 48,
                                        "program": "test-type-annotation.ts"
                                      }
                                    }
                                  },
                                  "annotations": [],
                                  "loc": {
                                    "start": {
                                      "line": 36,
                                      "column": 39,
                                      "program": "test-type-annotation.ts"
                                    },
                                    "end": {
                                      "line": 36,
                                      "column": 50,
                                      "program": "test-type-annotation.ts"
                                    }
                                  }
                                },
                                {
                                  "type": "TSUnknownKeyword",
                                  "loc": {
                                    "start": {
                                      "line": 36,
                                      "column": 53,
                                      "program": "test-type-annotation.ts"
                                    },
                                    "end": {
                                      "line": 36,
                                      "column": 60,
                                      "program": "test-type-annotation.ts"
                                    }
                                  }
                                }
                              ],
                              "loc": {
                                "start": {
                                  "line": 36,
                                  "column": 39,
                                  "program": "test-type-annotation.ts"
                                },
                                "end": {
                                  "line": 36,
                                  "column": 60,
                                  "program": "test-type-annotation.ts"
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 36,
                                "column": 38,
                                "program": "test-type-annotation.ts"
                              },
                              "end": {
                                "line": 36,
                                "column": 61,
                                "program": "test-type-annotation.ts"
                              }
                            }
                          },
                          "annotations": [],
                          "loc": {
                            "start": {
                              "line": 36,
                              "column": 38,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 36,
                              "column": 63,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        {
                          "type": "TSLiteralType",
                          "literal": {
                            "type": "StringLiteral",
                            "value": "foo",
                            "loc": {
                              "start": {
                                "line": 36,
                                "column": 66,
                                "program": "test-type-annotation.ts"
                              },
                              "end": {
                                "line": 36,
                                "column": 71,
                                "program": "test-type-annotation.ts"
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 36,
                              "column": 66,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 36,
                              "column": 71,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 36,
                          "column": 38,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 36,
                          "column": 71,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 37,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 36,
                        "column": 72,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "annotations": [],
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 37,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 36,
                      "column": 74,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 36,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 36,
                  "column": 74,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 36,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 36,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 36,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 36,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 36,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 36,
          "column": 75,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "p",
            "typeAnnotation": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSParenthesizedType",
                    "typeAnnotation": {
                      "type": "TSUnionType",
                      "types": [
                        {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 37,
                              "column": 9,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 37,
                              "column": 15,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 37,
                              "column": 18,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 37,
                              "column": 24,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 37,
                          "column": 9,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 37,
                          "column": 24,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 37,
                        "column": 8,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 37,
                        "column": 25,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "annotations": [],
                  "loc": {
                    "start": {
                      "line": 37,
                      "column": 8,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 37,
                      "column": 27,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSParenthesizedType",
                    "typeAnnotation": {
                      "type": "TSUnionType",
                      "types": [
                        {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 37,
                              "column": 31,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 37,
                              "column": 37,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 37,
                              "column": 40,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 37,
                              "column": 46,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 37,
                          "column": 31,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 37,
                          "column": 46,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 37,
                        "column": 30,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 37,
                        "column": 47,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "annotations": [],
                  "loc": {
                    "start": {
                      "line": 37,
                      "column": 30,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 37,
                      "column": 49,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 37,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 37,
                  "column": 49,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 37,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 37,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 37,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 37,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 37,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 37,
          "column": 50,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "q",
            "typeAnnotation": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSParenthesizedType",
                  "typeAnnotation": {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSArrayType",
                        "elementType": {
                          "type": "TSParenthesizedType",
                          "typeAnnotation": {
                            "type": "TSUnionType",
                            "types": [
                              {
                                "type": "TSNumberKeyword",
                                "loc": {
                                  "start": {
                                    "line": 38,
                                    "column": 10,
                                    "program": "test-type-annotation.ts"
                                  },
                                  "end": {
                                    "line": 38,
                                    "column": 16,
                                    "program": "test-type-annotation.ts"
                                  }
                                }
                              },
                              {
                                "type": "TSNumberKeyword",
                                "loc": {
                                  "start": {
                                    "line": 38,
                                    "column": 19,
                                    "program": "test-type-annotation.ts"
                                  },
                                  "end": {
                                    "line": 38,
                                    "column": 25,
                                    "program": "test-type-annotation.ts"
                                  }
                                }
                              }
                            ],
                            "loc": {
                              "start": {
                                "line": 38,
                                "column": 10,
                                "program": "test-type-annotation.ts"
                              },
                              "end": {
                                "line": 38,
                                "column": 25,
                                "program": "test-type-annotation.ts"
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 38,
                              "column": 9,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 38,
                              "column": 26,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "annotations": [],
                        "loc": {
                          "start": {
                            "line": 38,
                            "column": 9,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 38,
                            "column": 28,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "TSArrayType",
                        "elementType": {
                          "type": "TSParenthesizedType",
                          "typeAnnotation": {
                            "type": "TSUnionType",
                            "types": [
                              {
                                "type": "TSNumberKeyword",
                                "loc": {
                                  "start": {
                                    "line": 38,
                                    "column": 32,
                                    "program": "test-type-annotation.ts"
                                  },
                                  "end": {
                                    "line": 38,
                                    "column": 38,
                                    "program": "test-type-annotation.ts"
                                  }
                                }
                              },
                              {
                                "type": "TSNumberKeyword",
                                "loc": {
                                  "start": {
                                    "line": 38,
                                    "column": 41,
                                    "program": "test-type-annotation.ts"
                                  },
                                  "end": {
                                    "line": 38,
                                    "column": 47,
                                    "program": "test-type-annotation.ts"
                                  }
                                }
                              }
                            ],
                            "loc": {
                              "start": {
                                "line": 38,
                                "column": 32,
                                "program": "test-type-annotation.ts"
                              },
                              "end": {
                                "line": 38,
                                "column": 47,
                                "program": "test-type-annotation.ts"
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 38,
                              "column": 31,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 38,
                              "column": 48,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "annotations": [],
                        "loc": {
                          "start": {
                            "line": 38,
                            "column": 31,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 38,
                            "column": 50,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 38,
                        "column": 9,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 38,
                        "column": 50,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 38,
                      "column": 8,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 38,
                      "column": 51,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "TSStringKeyword",
                  "loc": {
                    "start": {
                      "line": 38,
                      "column": 54,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 38,
                      "column": 60,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 38,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 38,
                  "column": 60,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 38,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 38,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 38,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 38,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 38,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 38,
          "column": 61,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "r",
            "typeAnnotation": {
              "type": "TSArrayType",
              "elementType": {
                "type": "TSParenthesizedType",
                "typeAnnotation": {
                  "type": "TSParenthesizedType",
                  "typeAnnotation": {
                    "type": "TSParenthesizedType",
                    "typeAnnotation": {
                      "type": "TSParenthesizedType",
                      "typeAnnotation": {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 41,
                            "column": 12,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 41,
                            "column": 18,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 11,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 41,
                          "column": 19,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 10,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 41,
                        "column": 20,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 41,
                      "column": 9,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 41,
                      "column": 21,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 41,
                    "column": 8,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 41,
                    "column": 22,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "annotations": [],
              "loc": {
                "start": {
                  "line": 41,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 41,
                  "column": 24,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 41,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 41,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 41,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 41,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 41,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 41,
          "column": 25,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "s",
            "typeAnnotation": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSParenthesizedType",
                  "typeAnnotation": {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSParenthesizedType",
                        "typeAnnotation": {
                          "type": "TSUnionType",
                          "types": [
                            {
                              "type": "TSStringKeyword",
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 10,
                                  "program": "test-type-annotation.ts"
                                },
                                "end": {
                                  "line": 42,
                                  "column": 16,
                                  "program": "test-type-annotation.ts"
                                }
                              }
                            },
                            {
                              "type": "TSBooleanKeyword",
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 19,
                                  "program": "test-type-annotation.ts"
                                },
                                "end": {
                                  "line": 42,
                                  "column": 26,
                                  "program": "test-type-annotation.ts"
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 42,
                              "column": 10,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 42,
                              "column": 26,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 42,
                            "column": 9,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 42,
                            "column": 27,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "TSParenthesizedType",
                        "typeAnnotation": {
                          "type": "TSUnionType",
                          "types": [
                            {
                              "type": "TSLiteralType",
                              "literal": {
                                "type": "NumberLiteral",
                                "value": 5,
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 31,
                                    "program": "test-type-annotation.ts"
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 32,
                                    "program": "test-type-annotation.ts"
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 31,
                                  "program": "test-type-annotation.ts"
                                },
                                "end": {
                                  "line": 42,
                                  "column": 32,
                                  "program": "test-type-annotation.ts"
                                }
                              }
                            },
                            {
                              "type": "TSLiteralType",
                              "literal": {
                                "type": "BooleanLiteral",
                                "value": true,
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 35,
                                    "program": "test-type-annotation.ts"
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 39,
                                    "program": "test-type-annotation.ts"
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 35,
                                  "program": "test-type-annotation.ts"
                                },
                                "end": {
                                  "line": 42,
                                  "column": 39,
                                  "program": "test-type-annotation.ts"
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 42,
                              "column": 31,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 42,
                              "column": 39,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 42,
                            "column": 30,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 42,
                            "column": 40,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 42,
                        "column": 9,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 42,
                        "column": 40,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 42,
                      "column": 8,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 42,
                      "column": 41,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "TSParenthesizedType",
                  "typeAnnotation": {
                    "type": "TSVoidKeyword",
                    "loc": {
                      "start": {
                        "line": 42,
                        "column": 45,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 42,
                        "column": 49,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 42,
                      "column": 44,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 42,
                      "column": 50,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 42,
                  "column": 8,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 42,
                  "column": 50,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 42,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 42,
                "column": 6,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 42,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 42,
              "column": 6,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 42,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 42,
          "column": 51,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "func1",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 45,
                        "column": 16,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 45,
                        "column": 22,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 13,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 45,
                      "column": 14,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "b",
                  "typeAnnotation": {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 45,
                        "column": 27,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 45,
                        "column": 33,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 24,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 45,
                      "column": 25,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 45,
                    "column": 38,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 45,
                    "column": 44,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 45,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 45,
                  "column": 44,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 45,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 45,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 45,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 45,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 45,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 45,
          "column": 45,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "func2",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSArrayType",
                        "elementType": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 46,
                              "column": 16,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 46,
                              "column": 22,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "annotations": [],
                        "loc": {
                          "start": {
                            "line": 46,
                            "column": 16,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 46,
                            "column": 24,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 46,
                            "column": 27,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 46,
                            "column": 33,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 46,
                        "column": 16,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 46,
                        "column": 33,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 46,
                      "column": 13,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 46,
                      "column": 14,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "b",
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 5,
                      "loc": {
                        "start": {
                          "line": 46,
                          "column": 39,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 46,
                          "column": 40,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 46,
                        "column": 39,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 46,
                        "column": 40,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "optional": true,
                  "loc": {
                    "start": {
                      "line": 46,
                      "column": 35,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 46,
                      "column": 36,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 46,
                        "column": 45,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 46,
                        "column": 51,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 46,
                        "column": 54,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 46,
                        "column": 60,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 46,
                    "column": 45,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 46,
                    "column": 60,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 46,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 46,
                  "column": 60,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 46,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 46,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 46,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 46,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 46,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 46,
          "column": 61,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "func3",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "f",
                  "typeAnnotation": {
                    "type": "TSFunctionType",
                    "params": [
                      {
                        "type": "Identifier",
                        "name": "a",
                        "typeAnnotation": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 47,
                              "column": 20,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 47,
                              "column": 26,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 17,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 47,
                            "column": 18,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "Identifier",
                        "name": "b",
                        "typeAnnotation": {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 47,
                              "column": 31,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 47,
                              "column": 37,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 28,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 47,
                            "column": 29,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "TSArrayType",
                      "elementType": {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 42,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 47,
                            "column": 48,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      "annotations": [],
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 42,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 47,
                          "column": 50,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 47,
                        "column": 16,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 47,
                        "column": 50,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 47,
                      "column": 13,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 47,
                      "column": 14,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "ArrayPattern",
                  "elements": [
                    {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 53,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 47,
                          "column": 54,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    {
                      "type": "Identifier",
                      "name": "b",
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 56,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 47,
                          "column": 57,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    }
                  ],
                  "typeAnnotation": {
                    "type": "TSArrayType",
                    "elementType": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 60,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 47,
                          "column": 66,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "annotations": [],
                    "loc": {
                      "start": {
                        "line": 47,
                        "column": 60,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 47,
                        "column": 68,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 47,
                      "column": 52,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 47,
                      "column": 58,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSFunctionType",
                "params": [
                  {
                    "type": "Identifier",
                    "name": "a",
                    "typeAnnotation": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 77,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 47,
                          "column": 83,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 47,
                        "column": 74,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 47,
                        "column": 75,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  {
                    "type": "Identifier",
                    "name": "b",
                    "typeAnnotation": {
                      "type": "TSBooleanKeyword",
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 88,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 47,
                          "column": 95,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 47,
                        "column": 85,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 47,
                        "column": 86,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "BooleanLiteral",
                    "value": true,
                    "loc": {
                      "start": {
                        "line": 47,
                        "column": 100,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 47,
                        "column": 104,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 47,
                      "column": 100,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 47,
                      "column": 104,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 47,
                    "column": 73,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 47,
                    "column": 104,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 47,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 47,
                  "column": 104,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 47,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 47,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 47,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 47,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 47,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 47,
          "column": 105,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "ctor1",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 50,
                        "column": 20,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 50,
                        "column": 26,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 50,
                      "column": 17,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 50,
                      "column": 18,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "b",
                  "typeAnnotation": {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 50,
                        "column": 31,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 50,
                        "column": 37,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 50,
                      "column": 28,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 50,
                      "column": 29,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 50,
                    "column": 42,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 50,
                    "column": 48,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 50,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 50,
                  "column": 48,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 50,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 50,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 50,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 50,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 50,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 50,
          "column": 49,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "ctor2",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSArrayType",
                        "elementType": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 51,
                              "column": 20,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 51,
                              "column": 26,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "annotations": [],
                        "loc": {
                          "start": {
                            "line": 51,
                            "column": 20,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 51,
                            "column": 28,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 51,
                            "column": 31,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 51,
                            "column": 37,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 51,
                        "column": 20,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 51,
                        "column": 37,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 51,
                      "column": 17,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 51,
                      "column": 18,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "b",
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 5,
                      "loc": {
                        "start": {
                          "line": 51,
                          "column": 43,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 51,
                          "column": 44,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 51,
                        "column": 43,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 51,
                        "column": 44,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "optional": true,
                  "loc": {
                    "start": {
                      "line": 51,
                      "column": 39,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 51,
                      "column": 40,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 51,
                        "column": 49,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 51,
                        "column": 55,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 51,
                        "column": 58,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 51,
                        "column": 64,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 51,
                    "column": 49,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 51,
                    "column": 64,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 51,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 51,
                  "column": 64,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 51,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 51,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 51,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 51,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 51,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 51,
          "column": 65,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "ctor3",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "f",
                  "typeAnnotation": {
                    "type": "TSFunctionType",
                    "params": [
                      {
                        "type": "Identifier",
                        "name": "a",
                        "typeAnnotation": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 52,
                              "column": 24,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 52,
                              "column": 30,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 52,
                            "column": 21,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 52,
                            "column": 22,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "Identifier",
                        "name": "b",
                        "typeAnnotation": {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 52,
                              "column": 35,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 52,
                              "column": 41,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 52,
                            "column": 32,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 52,
                            "column": 33,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "TSArrayType",
                      "elementType": {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 52,
                            "column": 46,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 52,
                            "column": 52,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      "annotations": [],
                      "loc": {
                        "start": {
                          "line": 52,
                          "column": 46,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 52,
                          "column": 54,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 52,
                        "column": 20,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 52,
                        "column": 54,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 52,
                      "column": 17,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 52,
                      "column": 18,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "ArrayPattern",
                  "elements": [
                    {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 52,
                          "column": 57,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 52,
                          "column": 58,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    {
                      "type": "Identifier",
                      "name": "b",
                      "loc": {
                        "start": {
                          "line": 52,
                          "column": 60,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 52,
                          "column": 61,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    }
                  ],
                  "typeAnnotation": {
                    "type": "TSArrayType",
                    "elementType": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 52,
                          "column": 64,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 52,
                          "column": 70,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "annotations": [],
                    "loc": {
                      "start": {
                        "line": 52,
                        "column": 64,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 52,
                        "column": 72,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 52,
                      "column": 56,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 52,
                      "column": 62,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSFunctionType",
                "params": [
                  {
                    "type": "Identifier",
                    "name": "a",
                    "typeAnnotation": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 52,
                          "column": 81,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 52,
                          "column": 87,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 52,
                        "column": 78,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 52,
                        "column": 79,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  {
                    "type": "Identifier",
                    "name": "b",
                    "typeAnnotation": {
                      "type": "TSBooleanKeyword",
                      "loc": {
                        "start": {
                          "line": 52,
                          "column": 92,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 52,
                          "column": 99,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 52,
                        "column": 89,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 52,
                        "column": 90,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "BooleanLiteral",
                    "value": true,
                    "loc": {
                      "start": {
                        "line": 52,
                        "column": 104,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 52,
                        "column": 108,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 52,
                      "column": 104,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 52,
                      "column": 108,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 52,
                    "column": 77,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 52,
                    "column": 108,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 52,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 52,
                  "column": 108,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 52,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 52,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 52,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 52,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 52,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 52,
          "column": 109,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "ctor4",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 53,
                        "column": 29,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 53,
                        "column": 35,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 53,
                      "column": 26,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 53,
                      "column": 27,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "b",
                  "typeAnnotation": {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 53,
                        "column": 40,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 53,
                        "column": 46,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 53,
                      "column": 37,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 53,
                      "column": 38,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 53,
                    "column": 51,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 53,
                    "column": 57,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "abstract": true,
              "loc": {
                "start": {
                  "line": 53,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 53,
                  "column": 57,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 53,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 53,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 53,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 53,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 53,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 53,
          "column": 58,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "ctor5",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSArrayType",
                        "elementType": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 54,
                              "column": 29,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 54,
                              "column": 35,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "annotations": [],
                        "loc": {
                          "start": {
                            "line": 54,
                            "column": 29,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 54,
                            "column": 37,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 54,
                            "column": 40,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 54,
                            "column": 46,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 54,
                        "column": 29,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 54,
                        "column": 46,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 54,
                      "column": 26,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 54,
                      "column": 27,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "b",
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 5,
                      "loc": {
                        "start": {
                          "line": 54,
                          "column": 52,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 54,
                          "column": 53,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 54,
                        "column": 52,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 54,
                        "column": 53,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "optional": true,
                  "loc": {
                    "start": {
                      "line": 54,
                      "column": 48,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 54,
                      "column": 49,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 54,
                        "column": 58,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 54,
                        "column": 64,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 54,
                        "column": 67,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 54,
                        "column": 73,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 54,
                    "column": 58,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 54,
                    "column": 73,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "abstract": true,
              "loc": {
                "start": {
                  "line": 54,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 54,
                  "column": 73,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 54,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 54,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 54,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 54,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 54,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 54,
          "column": 74,
          "program": "test-type-annotation.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "ctor6",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "f",
                  "typeAnnotation": {
                    "type": "TSFunctionType",
                    "params": [
                      {
                        "type": "Identifier",
                        "name": "a",
                        "typeAnnotation": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 55,
                              "column": 33,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 55,
                              "column": 39,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 55,
                            "column": 30,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 55,
                            "column": 31,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      {
                        "type": "Identifier",
                        "name": "b",
                        "typeAnnotation": {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 55,
                              "column": 44,
                              "program": "test-type-annotation.ts"
                            },
                            "end": {
                              "line": 55,
                              "column": 50,
                              "program": "test-type-annotation.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 55,
                            "column": 41,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 55,
                            "column": 42,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "TSArrayType",
                      "elementType": {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 55,
                            "column": 55,
                            "program": "test-type-annotation.ts"
                          },
                          "end": {
                            "line": 55,
                            "column": 61,
                            "program": "test-type-annotation.ts"
                          }
                        }
                      },
                      "annotations": [],
                      "loc": {
                        "start": {
                          "line": 55,
                          "column": 55,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 55,
                          "column": 63,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 55,
                        "column": 29,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 55,
                        "column": 63,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 55,
                      "column": 26,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 55,
                      "column": 27,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                {
                  "type": "ArrayPattern",
                  "elements": [
                    {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 55,
                          "column": 66,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 55,
                          "column": 67,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    {
                      "type": "Identifier",
                      "name": "b",
                      "loc": {
                        "start": {
                          "line": 55,
                          "column": 69,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 55,
                          "column": 70,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    }
                  ],
                  "typeAnnotation": {
                    "type": "TSArrayType",
                    "elementType": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 55,
                          "column": 73,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 55,
                          "column": 79,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "annotations": [],
                    "loc": {
                      "start": {
                        "line": 55,
                        "column": 73,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 55,
                        "column": 81,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 55,
                      "column": 65,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 55,
                      "column": 71,
                      "program": "test-type-annotation.ts"
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSFunctionType",
                "params": [
                  {
                    "type": "Identifier",
                    "name": "a",
                    "typeAnnotation": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 55,
                          "column": 90,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 55,
                          "column": 96,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 55,
                        "column": 87,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 55,
                        "column": 88,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  {
                    "type": "Identifier",
                    "name": "b",
                    "typeAnnotation": {
                      "type": "TSBooleanKeyword",
                      "loc": {
                        "start": {
                          "line": 55,
                          "column": 101,
                          "program": "test-type-annotation.ts"
                        },
                        "end": {
                          "line": 55,
                          "column": 108,
                          "program": "test-type-annotation.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 55,
                        "column": 98,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 55,
                        "column": 99,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "BooleanLiteral",
                    "value": true,
                    "loc": {
                      "start": {
                        "line": 55,
                        "column": 113,
                        "program": "test-type-annotation.ts"
                      },
                      "end": {
                        "line": 55,
                        "column": 117,
                        "program": "test-type-annotation.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 55,
                      "column": 113,
                      "program": "test-type-annotation.ts"
                    },
                    "end": {
                      "line": 55,
                      "column": 117,
                      "program": "test-type-annotation.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 55,
                    "column": 86,
                    "program": "test-type-annotation.ts"
                  },
                  "end": {
                    "line": 55,
                    "column": 117,
                    "program": "test-type-annotation.ts"
                  }
                }
              },
              "abstract": true,
              "loc": {
                "start": {
                  "line": 55,
                  "column": 12,
                  "program": "test-type-annotation.ts"
                },
                "end": {
                  "line": 55,
                  "column": 117,
                  "program": "test-type-annotation.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 55,
                "column": 5,
                "program": "test-type-annotation.ts"
              },
              "end": {
                "line": 55,
                "column": 10,
                "program": "test-type-annotation.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 55,
              "column": 5,
              "program": "test-type-annotation.ts"
            },
            "end": {
              "line": 55,
              "column": 10,
              "program": "test-type-annotation.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 55,
          "column": 1,
          "program": "test-type-annotation.ts"
        },
        "end": {
          "line": 55,
          "column": 118,
          "program": "test-type-annotation.ts"
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1,
      "program": "test-type-annotation.ts"
    },
    "end": {
      "line": 55,
      "column": 118,
      "program": "test-type-annotation.ts"
    }
  }
}
