{
  "type": "Program",
  "statements": [
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "a",
            "loc": {
              "start": {
                "line": 17,
                "column": 5,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 17,
                "column": 6,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "init": {
            "type": "NumberLiteral",
            "value": 5,
            "loc": {
              "start": {
                "line": 17,
                "column": 9,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 17,
                "column": 10,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "loc": {
            "start": {
              "line": 17,
              "column": 5,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 17,
              "column": 10,
              "program": "test-ts-conditional-type.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 17,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 17,
          "column": 11,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "A",
        "loc": {
          "start": {
            "line": 18,
            "column": 6,
            "program": "test-ts-conditional-type.ts"
          },
          "end": {
            "line": 18,
            "column": 7,
            "program": "test-ts-conditional-type.ts"
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSArrayType",
          "elementType": {
            "type": "TSParenthesizedType",
            "typeAnnotation": {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 11,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 18,
                        "column": 17,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  {
                    "type": "TSIntersectionType",
                    "types": [
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 18,
                            "column": 20,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 18,
                            "column": 26,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      },
                      {
                        "type": "TSBooleanKeyword",
                        "loc": {
                          "start": {
                            "line": 18,
                            "column": 29,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 18,
                            "column": 36,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 20,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 18,
                        "column": 36,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 11,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 36,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "extendsType": {
                "type": "TSBooleanKeyword",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 45,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 52,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "trueType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 55,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 61,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "falseType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 64,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 70,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 18,
                  "column": 11,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 18,
                  "column": 70,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 18,
                "column": 10,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 18,
                "column": 71,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "annotations": [],
          "loc": {
            "start": {
              "line": 18,
              "column": 10,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 18,
              "column": 73,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "extendsType": {
          "type": "TSParenthesizedType",
          "typeAnnotation": {
            "type": "TSUnionType",
            "types": [
              {
                "type": "TSParenthesizedType",
                "typeAnnotation": {
                  "type": "TSConditionalType",
                  "checkType": {
                    "type": "TSBooleanKeyword",
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 84,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 18,
                        "column": 91,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  "extendsType": {
                    "type": "TSIntersectionType",
                    "types": [
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 18,
                            "column": 102,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 18,
                            "column": 108,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 100,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 18,
                        "column": 108,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  "trueType": {
                    "type": "TSTypeQuery",
                    "exprName": {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 18,
                          "column": 118,
                          "program": "test-ts-conditional-type.ts"
                        },
                        "end": {
                          "line": 18,
                          "column": 119,
                          "program": "test-ts-conditional-type.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 111,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 18,
                        "column": 119,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  "falseType": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 122,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 18,
                        "column": 128,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 18,
                      "column": 84,
                      "program": "test-ts-conditional-type.ts"
                    },
                    "end": {
                      "line": 18,
                      "column": 128,
                      "program": "test-ts-conditional-type.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 83,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 129,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 132,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 138,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 18,
                "column": 83,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 18,
                "column": 138,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "loc": {
            "start": {
              "line": 18,
              "column": 82,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 18,
              "column": 139,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "trueType": {
          "type": "TSConditionalType",
          "checkType": {
            "type": "TSUnionType",
            "types": [
              {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 142,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 148,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              {
                "type": "TSBooleanKeyword",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 151,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 18,
                    "column": 158,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 18,
                "column": 142,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 18,
                "column": 158,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "extendsType": {
            "type": "TSStringKeyword",
            "loc": {
              "start": {
                "line": 18,
                "column": 167,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 18,
                "column": 173,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "trueType": {
            "type": "TSNumberKeyword",
            "loc": {
              "start": {
                "line": 18,
                "column": 176,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 18,
                "column": 182,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "falseType": {
            "type": "TSStringKeyword",
            "loc": {
              "start": {
                "line": 18,
                "column": 185,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 18,
                "column": 191,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "loc": {
            "start": {
              "line": 18,
              "column": 142,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 18,
              "column": 191,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "falseType": {
          "type": "TSStringKeyword",
          "loc": {
            "start": {
              "line": 18,
              "column": 194,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 18,
              "column": 200,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "loc": {
          "start": {
            "line": 18,
            "column": 10,
            "program": "test-ts-conditional-type.ts"
          },
          "end": {
            "line": 18,
            "column": 200,
            "program": "test-ts-conditional-type.ts"
          }
        }
      },
      "loc": {
        "start": {
          "line": 18,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 18,
          "column": 201,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 18,
          "column": 200,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 18,
          "column": 201,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "b",
            "typeAnnotation": {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSIntersectionType",
                "types": [
                  {
                    "type": "TSBooleanKeyword",
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 8,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 20,
                        "column": 15,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 18,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 20,
                        "column": 24,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 20,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 20,
                    "column": 24,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "extendsType": {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "A",
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 33,
                      "program": "test-ts-conditional-type.ts"
                    },
                    "end": {
                      "line": 20,
                      "column": 34,
                      "program": "test-ts-conditional-type.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 20,
                    "column": 33,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 20,
                    "column": 34,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "trueType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 20,
                    "column": 37,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 20,
                    "column": 43,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "falseType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 20,
                    "column": 46,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 20,
                    "column": 52,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 20,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 20,
                  "column": 52,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 20,
                "column": 5,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 20,
                "column": 6,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 20,
              "column": 5,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 20,
              "column": 6,
              "program": "test-ts-conditional-type.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 20,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 20,
          "column": 53,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "c",
            "typeAnnotation": {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSTypeReference",
                    "typeName": {
                      "type": "Identifier",
                      "name": "A",
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 8,
                          "program": "test-ts-conditional-type.ts"
                        },
                        "end": {
                          "line": 21,
                          "column": 9,
                          "program": "test-ts-conditional-type.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 8,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 21,
                        "column": 9,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 12,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 21,
                        "column": 18,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 21,
                    "column": 18,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "extendsType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 27,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 21,
                    "column": 33,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "trueType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 36,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 21,
                    "column": 42,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "falseType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 45,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 21,
                    "column": 51,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 21,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 21,
                  "column": 51,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 21,
                "column": 5,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 21,
                "column": 6,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 21,
              "column": 5,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 21,
              "column": 6,
              "program": "test-ts-conditional-type.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 21,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 21,
          "column": 52,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "d",
            "typeAnnotation": {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSBooleanKeyword",
                    "loc": {
                      "start": {
                        "line": 22,
                        "column": 8,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 22,
                        "column": 15,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  {
                    "type": "TSIntersectionType",
                    "types": [
                      {
                        "type": "TSTypeReference",
                        "typeName": {
                          "type": "Identifier",
                          "name": "A",
                          "loc": {
                            "start": {
                              "line": 22,
                              "column": 18,
                              "program": "test-ts-conditional-type.ts"
                            },
                            "end": {
                              "line": 22,
                              "column": 19,
                              "program": "test-ts-conditional-type.ts"
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 22,
                            "column": 18,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 22,
                            "column": 19,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 22,
                            "column": 22,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 22,
                            "column": 28,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 22,
                        "column": 18,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 22,
                        "column": 28,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 22,
                    "column": 28,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "extendsType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 37,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 22,
                    "column": 43,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "trueType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 46,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 22,
                    "column": 52,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "falseType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 55,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 22,
                    "column": 61,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 22,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 22,
                  "column": 61,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 22,
                "column": 5,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 22,
                "column": 6,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 22,
              "column": 5,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 22,
              "column": 6,
              "program": "test-ts-conditional-type.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 22,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 22,
          "column": 62,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "e",
            "typeAnnotation": {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSUnionType",
                "types": [
                  {
                    "type": "TSIntersectionType",
                    "types": [
                      {
                        "type": "TSBooleanKeyword",
                        "loc": {
                          "start": {
                            "line": 23,
                            "column": 8,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 23,
                            "column": 15,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      },
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 23,
                            "column": 18,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 23,
                            "column": 24,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 23,
                        "column": 8,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 23,
                        "column": 24,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 23,
                        "column": 27,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 23,
                        "column": 33,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 23,
                    "column": 33,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "extendsType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 42,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 23,
                    "column": 48,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "trueType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 51,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 23,
                    "column": 57,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "falseType": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 60,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 23,
                    "column": 66,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 23,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 23,
                  "column": 66,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 23,
                "column": 5,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 23,
                "column": 6,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 23,
              "column": 5,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 23,
              "column": 6,
              "program": "test-ts-conditional-type.ts"
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 23,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 23,
          "column": 67,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Bar",
        "loc": {
          "start": {
            "line": 25,
            "column": 6,
            "program": "test-ts-conditional-type.ts"
          },
          "end": {
            "line": 25,
            "column": 9,
            "program": "test-ts-conditional-type.ts"
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 25,
                "column": 15,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 25,
                "column": 16,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "loc": {
            "start": {
              "line": 25,
              "column": 15,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 25,
              "column": 16,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "extendsType": {
          "type": "TSArrayType",
          "elementType": {
            "type": "TSParenthesizedType",
            "typeAnnotation": {
              "type": "TSInferType",
              "typeParameter": {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 32,
                      "program": "test-ts-conditional-type.ts"
                    },
                    "end": {
                      "line": 25,
                      "column": 33,
                      "program": "test-ts-conditional-type.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 32,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 25,
                    "column": 34,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 25,
                  "column": 26,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 25,
                  "column": 34,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 25,
                "column": 25,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 25,
                "column": 34,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "annotations": [],
          "loc": {
            "start": {
              "line": 25,
              "column": 25,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 25,
              "column": 36,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "trueType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "U",
            "loc": {
              "start": {
                "line": 26,
                "column": 7,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 26,
                "column": 8,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "loc": {
            "start": {
              "line": 26,
              "column": 7,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 26,
              "column": 8,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "falseType": {
          "type": "TSConditionalType",
          "checkType": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 27,
                  "column": 7,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 27,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 27,
                "column": 7,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 27,
                "column": 8,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "extendsType": {
            "type": "TSFunctionType",
            "params": [
              {
                "type": "RestElement",
                "argument": {
                  "type": "Identifier",
                  "name": "args",
                  "typeAnnotation": {
                    "type": "TSArrayType",
                    "elementType": {
                      "type": "TSAnyKeyword",
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 27,
                          "program": "test-ts-conditional-type.ts"
                        },
                        "end": {
                          "line": 27,
                          "column": 30,
                          "program": "test-ts-conditional-type.ts"
                        }
                      }
                    },
                    "annotations": [],
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 27,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 27,
                        "column": 32,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 21,
                      "program": "test-ts-conditional-type.ts"
                    },
                    "end": {
                      "line": 27,
                      "column": 25,
                      "program": "test-ts-conditional-type.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 18,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 27,
                    "column": 25,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              }
            ],
            "returnType": {
              "type": "TSInferType",
              "typeParameter": {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 43,
                      "program": "test-ts-conditional-type.ts"
                    },
                    "end": {
                      "line": 27,
                      "column": 44,
                      "program": "test-ts-conditional-type.ts"
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 43,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 28,
                    "column": 6,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 27,
                  "column": 37,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 28,
                  "column": 6,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 27,
                "column": 17,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 28,
                "column": 6,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "trueType": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "U",
              "loc": {
                "start": {
                  "line": 28,
                  "column": 7,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 28,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 28,
                "column": 7,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 28,
                "column": 8,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "falseType": {
            "type": "TSConditionalType",
            "checkType": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 29,
                    "column": 7,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 29,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 29,
                  "column": 7,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 29,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "extendsType": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "Promise",
                "loc": {
                  "start": {
                    "line": 29,
                    "column": 17,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 29,
                    "column": 24,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "typeParameters": {
                "type": "TSTypeParameterInstantiation",
                "params": [
                  {
                    "type": "TSInferType",
                    "typeParameter": {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "U",
                        "loc": {
                          "start": {
                            "line": 29,
                            "column": 31,
                            "program": "test-ts-conditional-type.ts"
                          },
                          "end": {
                            "line": 29,
                            "column": 32,
                            "program": "test-ts-conditional-type.ts"
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 29,
                          "column": 31,
                          "program": "test-ts-conditional-type.ts"
                        },
                        "end": {
                          "line": 29,
                          "column": 33,
                          "program": "test-ts-conditional-type.ts"
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 25,
                        "program": "test-ts-conditional-type.ts"
                      },
                      "end": {
                        "line": 29,
                        "column": 33,
                        "program": "test-ts-conditional-type.ts"
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 29,
                    "column": 17,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 29,
                    "column": 33,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 29,
                  "column": 17,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 29,
                  "column": 24,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "trueType": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 30,
                    "column": 7,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 30,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 30,
                  "column": 7,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 30,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "falseType": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 31,
                    "column": 7,
                    "program": "test-ts-conditional-type.ts"
                  },
                  "end": {
                    "line": 31,
                    "column": 8,
                    "program": "test-ts-conditional-type.ts"
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 31,
                  "column": 7,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 31,
                  "column": 8,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 29,
                "column": 7,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 31,
                "column": 8,
                "program": "test-ts-conditional-type.ts"
              }
            }
          },
          "loc": {
            "start": {
              "line": 27,
              "column": 7,
              "program": "test-ts-conditional-type.ts"
            },
            "end": {
              "line": 31,
              "column": 8,
              "program": "test-ts-conditional-type.ts"
            }
          }
        },
        "loc": {
          "start": {
            "line": 25,
            "column": 15,
            "program": "test-ts-conditional-type.ts"
          },
          "end": {
            "line": 31,
            "column": 8,
            "program": "test-ts-conditional-type.ts"
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 25,
                  "column": 10,
                  "program": "test-ts-conditional-type.ts"
                },
                "end": {
                  "line": 25,
                  "column": 11,
                  "program": "test-ts-conditional-type.ts"
                }
              }
            },
            "loc": {
              "start": {
                "line": 25,
                "column": 10,
                "program": "test-ts-conditional-type.ts"
              },
              "end": {
                "line": 25,
                "column": 12,
                "program": "test-ts-conditional-type.ts"
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 25,
            "column": 9,
            "program": "test-ts-conditional-type.ts"
          },
          "end": {
            "line": 25,
            "column": 12,
            "program": "test-ts-conditional-type.ts"
          }
        }
      },
      "loc": {
        "start": {
          "line": 25,
          "column": 1,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 31,
          "column": 9,
          "program": "test-ts-conditional-type.ts"
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 31,
          "column": 8,
          "program": "test-ts-conditional-type.ts"
        },
        "end": {
          "line": 31,
          "column": 9,
          "program": "test-ts-conditional-type.ts"
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1,
      "program": "test-ts-conditional-type.ts"
    },
    "end": {
      "line": 31,
      "column": 9,
      "program": "test-ts-conditional-type.ts"
    }
  }
}
