{
  "type": "Program",
  "statements": [
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X7_T1",
        "loc": {
          "start": {
            "line": 17,
            "column": 6
          },
          "end": {
            "line": 17,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T7",
          "loc": {
            "start": {
              "line": 17,
              "column": 14
            },
            "end": {
              "line": 17,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 19
                      },
                      "end": {
                        "line": 17,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "a",
                      "loc": {
                        "start": {
                          "line": 17,
                          "column": 22
                        },
                        "end": {
                          "line": 17,
                          "column": 25
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 22
                      },
                      "end": {
                        "line": 17,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 19
                    },
                    "end": {
                      "line": 17,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 27
                      },
                      "end": {
                        "line": 17,
                        "column": 28
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "b",
                      "loc": {
                        "start": {
                          "line": 17,
                          "column": 30
                        },
                        "end": {
                          "line": 17,
                          "column": 33
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 30
                      },
                      "end": {
                        "line": 17,
                        "column": 33
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 27
                    },
                    "end": {
                      "line": 17,
                      "column": 35
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 17,
                  "column": 17
                },
                "end": {
                  "line": 17,
                  "column": 35
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 17,
              "column": 16
            },
            "end": {
              "line": 17,
              "column": 36
            }
          }
        },
        "loc": {
          "start": {
            "line": 17,
            "column": 14
          },
          "end": {
            "line": 17,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 17,
          "column": 37
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X7_T2",
        "loc": {
          "start": {
            "line": 18,
            "column": 6
          },
          "end": {
            "line": 18,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T7",
          "loc": {
            "start": {
              "line": 18,
              "column": 14
            },
            "end": {
              "line": 18,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 19
                      },
                      "end": {
                        "line": 18,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 18,
                          "column": 22
                        },
                        "end": {
                          "line": 18,
                          "column": 23
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 22
                      },
                      "end": {
                        "line": 18,
                        "column": 23
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 18,
                      "column": 19
                    },
                    "end": {
                      "line": 18,
                      "column": 24
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 25
                      },
                      "end": {
                        "line": 18,
                        "column": 26
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 2,
                      "loc": {
                        "start": {
                          "line": 18,
                          "column": 28
                        },
                        "end": {
                          "line": 18,
                          "column": 29
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 28
                      },
                      "end": {
                        "line": 18,
                        "column": 29
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 18,
                      "column": 25
                    },
                    "end": {
                      "line": 18,
                      "column": 31
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 18,
                  "column": 17
                },
                "end": {
                  "line": 18,
                  "column": 31
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 18,
              "column": 16
            },
            "end": {
              "line": 18,
              "column": 32
            }
          }
        },
        "loc": {
          "start": {
            "line": 18,
            "column": 14
          },
          "end": {
            "line": 18,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 18,
          "column": 1
        },
        "end": {
          "line": 18,
          "column": 33
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X7_T3",
        "loc": {
          "start": {
            "line": 19,
            "column": 6
          },
          "end": {
            "line": 19,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T7",
          "loc": {
            "start": {
              "line": 19,
              "column": 14
            },
            "end": {
              "line": 19,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 19
                      },
                      "end": {
                        "line": 19,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSObjectKeyword",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 22
                      },
                      "end": {
                        "line": 19,
                        "column": 28
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 19,
                      "column": 19
                    },
                    "end": {
                      "line": 19,
                      "column": 29
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 30
                      },
                      "end": {
                        "line": 19,
                        "column": 31
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSObjectKeyword",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 33
                      },
                      "end": {
                        "line": 19,
                        "column": 39
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 19,
                      "column": 30
                    },
                    "end": {
                      "line": 19,
                      "column": 41
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 19,
                  "column": 17
                },
                "end": {
                  "line": 19,
                  "column": 41
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 19,
              "column": 16
            },
            "end": {
              "line": 19,
              "column": 42
            }
          }
        },
        "loc": {
          "start": {
            "line": 19,
            "column": 14
          },
          "end": {
            "line": 19,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 19,
          "column": 1
        },
        "end": {
          "line": 19,
          "column": 43
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X7_T4",
        "loc": {
          "start": {
            "line": 20,
            "column": 6
          },
          "end": {
            "line": 20,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T7",
          "loc": {
            "start": {
              "line": 20,
              "column": 14
            },
            "end": {
              "line": 20,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 19
                      },
                      "end": {
                        "line": 20,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "a",
                      "loc": {
                        "start": {
                          "line": 20,
                          "column": 22
                        },
                        "end": {
                          "line": 20,
                          "column": 25
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 22
                      },
                      "end": {
                        "line": 20,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 19
                    },
                    "end": {
                      "line": 20,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 27
                      },
                      "end": {
                        "line": 20,
                        "column": 28
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 20,
                          "column": 30
                        },
                        "end": {
                          "line": 20,
                          "column": 31
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 30
                      },
                      "end": {
                        "line": 20,
                        "column": 31
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 27
                    },
                    "end": {
                      "line": 20,
                      "column": 33
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 20,
                  "column": 17
                },
                "end": {
                  "line": 20,
                  "column": 33
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 20,
              "column": 16
            },
            "end": {
              "line": 20,
              "column": 34
            }
          }
        },
        "loc": {
          "start": {
            "line": 20,
            "column": 14
          },
          "end": {
            "line": 20,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 20,
          "column": 1
        },
        "end": {
          "line": 20,
          "column": 35
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "T8",
        "loc": {
          "start": {
            "line": 23,
            "column": 6
          },
          "end": {
            "line": 23,
            "column": 8
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 24,
                "column": 5
              },
              "end": {
                "line": 24,
                "column": 6
              }
            }
          },
          "loc": {
            "start": {
              "line": 24,
              "column": 5
            },
            "end": {
              "line": 24,
              "column": 6
            }
          }
        },
        "extendsType": {
          "type": "TSTypeLiteral",
          "members": [
            {
              "type": "TSPropertySignature",
              "computed": false,
              "optional": false,
              "readonly": false,
              "key": {
                "type": "Identifier",
                "name": "a",
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 17
                  },
                  "end": {
                    "line": 24,
                    "column": 18
                  }
                }
              },
              "typeAnnotation": {
                "type": "TSInferType",
                "typeParameter": {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "U",
                    "loc": {
                      "start": {
                        "line": 24,
                        "column": 26
                      },
                      "end": {
                        "line": 24,
                        "column": 27
                      }
                    }
                  },
                  "constraint": {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 24,
                        "column": 36
                      },
                      "end": {
                        "line": 24,
                        "column": 42
                      }
                    }
                  },
                  "in": false,
                  "out": false,
                  "loc": {
                    "start": {
                      "line": 24,
                      "column": 26
                    },
                    "end": {
                      "line": 24,
                      "column": 43
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 20
                  },
                  "end": {
                    "line": 24,
                    "column": 43
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 24,
                  "column": 17
                },
                "end": {
                  "line": 24,
                  "column": 43
                }
              }
            },
            {
              "type": "TSPropertySignature",
              "computed": false,
              "optional": false,
              "readonly": false,
              "key": {
                "type": "Identifier",
                "name": "b",
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 44
                  },
                  "end": {
                    "line": 24,
                    "column": 45
                  }
                }
              },
              "typeAnnotation": {
                "type": "TSInferType",
                "typeParameter": {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "U",
                    "loc": {
                      "start": {
                        "line": 24,
                        "column": 53
                      },
                      "end": {
                        "line": 24,
                        "column": 54
                      }
                    }
                  },
                  "in": false,
                  "out": false,
                  "loc": {
                    "start": {
                      "line": 24,
                      "column": 53
                    },
                    "end": {
                      "line": 24,
                      "column": 56
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 47
                  },
                  "end": {
                    "line": 24,
                    "column": 56
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 24,
                  "column": 44
                },
                "end": {
                  "line": 24,
                  "column": 56
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 24,
              "column": 15
            },
            "end": {
              "line": 24,
              "column": 56
            }
          }
        },
        "trueType": {
          "type": "TSTupleType",
          "elementTypes": [
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "StringLiteral",
                "value": "string",
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 60
                  },
                  "end": {
                    "line": 24,
                    "column": 68
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 24,
                  "column": 60
                },
                "end": {
                  "line": 24,
                  "column": 68
                }
              }
            },
            {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 70
                  },
                  "end": {
                    "line": 24,
                    "column": 71
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 24,
                  "column": 70
                },
                "end": {
                  "line": 24,
                  "column": 71
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 24,
              "column": 59
            },
            "end": {
              "line": 24,
              "column": 72
            }
          }
        },
        "falseType": {
          "type": "TSConditionalType",
          "checkType": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 25,
                  "column": 5
                },
                "end": {
                  "line": 25,
                  "column": 6
                }
              }
            },
            "loc": {
              "start": {
                "line": 25,
                "column": 5
              },
              "end": {
                "line": 25,
                "column": 6
              }
            }
          },
          "extendsType": {
            "type": "TSTypeLiteral",
            "members": [
              {
                "type": "TSPropertySignature",
                "computed": false,
                "optional": false,
                "readonly": false,
                "key": {
                  "type": "Identifier",
                  "name": "a",
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 17
                    },
                    "end": {
                      "line": 25,
                      "column": 18
                    }
                  }
                },
                "typeAnnotation": {
                  "type": "TSInferType",
                  "typeParameter": {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "U",
                      "loc": {
                        "start": {
                          "line": 25,
                          "column": 26
                        },
                        "end": {
                          "line": 25,
                          "column": 27
                        }
                      }
                    },
                    "constraint": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 25,
                          "column": 36
                        },
                        "end": {
                          "line": 25,
                          "column": 42
                        }
                      }
                    },
                    "in": false,
                    "out": false,
                    "loc": {
                      "start": {
                        "line": 25,
                        "column": 26
                      },
                      "end": {
                        "line": 25,
                        "column": 43
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 20
                    },
                    "end": {
                      "line": 25,
                      "column": 43
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 17
                  },
                  "end": {
                    "line": 25,
                    "column": 43
                  }
                }
              },
              {
                "type": "TSPropertySignature",
                "computed": false,
                "optional": false,
                "readonly": false,
                "key": {
                  "type": "Identifier",
                  "name": "b",
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 44
                    },
                    "end": {
                      "line": 25,
                      "column": 45
                    }
                  }
                },
                "typeAnnotation": {
                  "type": "TSInferType",
                  "typeParameter": {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "U",
                      "loc": {
                        "start": {
                          "line": 25,
                          "column": 53
                        },
                        "end": {
                          "line": 25,
                          "column": 54
                        }
                      }
                    },
                    "in": false,
                    "out": false,
                    "loc": {
                      "start": {
                        "line": 25,
                        "column": 53
                      },
                      "end": {
                        "line": 25,
                        "column": 56
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 47
                    },
                    "end": {
                      "line": 25,
                      "column": 56
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 44
                  },
                  "end": {
                    "line": 25,
                    "column": 56
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 25,
                "column": 15
              },
              "end": {
                "line": 25,
                "column": 56
              }
            }
          },
          "trueType": {
            "type": "TSTupleType",
            "elementTypes": [
              {
                "type": "TSLiteralType",
                "literal": {
                  "type": "StringLiteral",
                  "value": "number",
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 60
                    },
                    "end": {
                      "line": 25,
                      "column": 68
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 60
                  },
                  "end": {
                    "line": 25,
                    "column": 68
                  }
                }
              },
              {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 70
                    },
                    "end": {
                      "line": 25,
                      "column": 71
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 70
                  },
                  "end": {
                    "line": 25,
                    "column": 71
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 25,
                "column": 59
              },
              "end": {
                "line": 25,
                "column": 72
              }
            }
          },
          "falseType": {
            "type": "TSNeverKeyword",
            "loc": {
              "start": {
                "line": 26,
                "column": 5
              },
              "end": {
                "line": 26,
                "column": 10
              }
            }
          },
          "loc": {
            "start": {
              "line": 25,
              "column": 5
            },
            "end": {
              "line": 26,
              "column": 10
            }
          }
        },
        "loc": {
          "start": {
            "line": 24,
            "column": 5
          },
          "end": {
            "line": 26,
            "column": 10
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 23,
                  "column": 9
                },
                "end": {
                  "line": 23,
                  "column": 10
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 23,
                "column": 9
              },
              "end": {
                "line": 23,
                "column": 11
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 23,
            "column": 8
          },
          "end": {
            "line": 23,
            "column": 11
          }
        }
      },
      "loc": {
        "start": {
          "line": 23,
          "column": 1
        },
        "end": {
          "line": 26,
          "column": 11
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X8_T1",
        "loc": {
          "start": {
            "line": 28,
            "column": 6
          },
          "end": {
            "line": 28,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T8",
          "loc": {
            "start": {
              "line": 28,
              "column": 14
            },
            "end": {
              "line": 28,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 28,
                        "column": 19
                      },
                      "end": {
                        "line": 28,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "a",
                      "loc": {
                        "start": {
                          "line": 28,
                          "column": 22
                        },
                        "end": {
                          "line": 28,
                          "column": 25
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 28,
                        "column": 22
                      },
                      "end": {
                        "line": 28,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 28,
                      "column": 19
                    },
                    "end": {
                      "line": 28,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 28,
                        "column": 27
                      },
                      "end": {
                        "line": 28,
                        "column": 28
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "b",
                      "loc": {
                        "start": {
                          "line": 28,
                          "column": 30
                        },
                        "end": {
                          "line": 28,
                          "column": 33
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 28,
                        "column": 30
                      },
                      "end": {
                        "line": 28,
                        "column": 33
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 28,
                      "column": 27
                    },
                    "end": {
                      "line": 28,
                      "column": 35
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 28,
                  "column": 17
                },
                "end": {
                  "line": 28,
                  "column": 35
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 28,
              "column": 16
            },
            "end": {
              "line": 28,
              "column": 36
            }
          }
        },
        "loc": {
          "start": {
            "line": 28,
            "column": 14
          },
          "end": {
            "line": 28,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 28,
          "column": 1
        },
        "end": {
          "line": 28,
          "column": 37
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X8_T2",
        "loc": {
          "start": {
            "line": 29,
            "column": 6
          },
          "end": {
            "line": 29,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T8",
          "loc": {
            "start": {
              "line": 29,
              "column": 14
            },
            "end": {
              "line": 29,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 19
                      },
                      "end": {
                        "line": 29,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 29,
                          "column": 22
                        },
                        "end": {
                          "line": 29,
                          "column": 23
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 22
                      },
                      "end": {
                        "line": 29,
                        "column": 23
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 19
                    },
                    "end": {
                      "line": 29,
                      "column": 24
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 25
                      },
                      "end": {
                        "line": 29,
                        "column": 26
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 2,
                      "loc": {
                        "start": {
                          "line": 29,
                          "column": 28
                        },
                        "end": {
                          "line": 29,
                          "column": 29
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 28
                      },
                      "end": {
                        "line": 29,
                        "column": 29
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 25
                    },
                    "end": {
                      "line": 29,
                      "column": 31
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 29,
                  "column": 17
                },
                "end": {
                  "line": 29,
                  "column": 31
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 29,
              "column": 16
            },
            "end": {
              "line": 29,
              "column": 32
            }
          }
        },
        "loc": {
          "start": {
            "line": 29,
            "column": 14
          },
          "end": {
            "line": 29,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 29,
          "column": 1
        },
        "end": {
          "line": 29,
          "column": 33
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X8_T3",
        "loc": {
          "start": {
            "line": 30,
            "column": 6
          },
          "end": {
            "line": 30,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T8",
          "loc": {
            "start": {
              "line": 30,
              "column": 14
            },
            "end": {
              "line": 30,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 30,
                        "column": 19
                      },
                      "end": {
                        "line": 30,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSObjectKeyword",
                    "loc": {
                      "start": {
                        "line": 30,
                        "column": 22
                      },
                      "end": {
                        "line": 30,
                        "column": 28
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 30,
                      "column": 19
                    },
                    "end": {
                      "line": 30,
                      "column": 29
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 30,
                        "column": 30
                      },
                      "end": {
                        "line": 30,
                        "column": 31
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSObjectKeyword",
                    "loc": {
                      "start": {
                        "line": 30,
                        "column": 33
                      },
                      "end": {
                        "line": 30,
                        "column": 39
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 30,
                      "column": 30
                    },
                    "end": {
                      "line": 30,
                      "column": 41
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 30,
                  "column": 17
                },
                "end": {
                  "line": 30,
                  "column": 41
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 30,
              "column": 16
            },
            "end": {
              "line": 30,
              "column": 42
            }
          }
        },
        "loc": {
          "start": {
            "line": 30,
            "column": 14
          },
          "end": {
            "line": 30,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 30,
          "column": 1
        },
        "end": {
          "line": 30,
          "column": 43
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X8_T4",
        "loc": {
          "start": {
            "line": 31,
            "column": 6
          },
          "end": {
            "line": 31,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T8",
          "loc": {
            "start": {
              "line": 31,
              "column": 14
            },
            "end": {
              "line": 31,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 31,
                        "column": 19
                      },
                      "end": {
                        "line": 31,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "a",
                      "loc": {
                        "start": {
                          "line": 31,
                          "column": 22
                        },
                        "end": {
                          "line": 31,
                          "column": 25
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 31,
                        "column": 22
                      },
                      "end": {
                        "line": 31,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 19
                    },
                    "end": {
                      "line": 31,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 31,
                        "column": 27
                      },
                      "end": {
                        "line": 31,
                        "column": 28
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 31,
                          "column": 30
                        },
                        "end": {
                          "line": 31,
                          "column": 31
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 31,
                        "column": 30
                      },
                      "end": {
                        "line": 31,
                        "column": 31
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 27
                    },
                    "end": {
                      "line": 31,
                      "column": 33
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 31,
                  "column": 17
                },
                "end": {
                  "line": 31,
                  "column": 33
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 31,
              "column": 16
            },
            "end": {
              "line": 31,
              "column": 34
            }
          }
        },
        "loc": {
          "start": {
            "line": 31,
            "column": 14
          },
          "end": {
            "line": 31,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 31,
          "column": 1
        },
        "end": {
          "line": 31,
          "column": 35
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "T9",
        "loc": {
          "start": {
            "line": 34,
            "column": 6
          },
          "end": {
            "line": 34,
            "column": 8
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 35,
                "column": 5
              },
              "end": {
                "line": 35,
                "column": 6
              }
            }
          },
          "loc": {
            "start": {
              "line": 35,
              "column": 5
            },
            "end": {
              "line": 35,
              "column": 6
            }
          }
        },
        "extendsType": {
          "type": "TSTypeLiteral",
          "members": [
            {
              "type": "TSPropertySignature",
              "computed": false,
              "optional": false,
              "readonly": false,
              "key": {
                "type": "Identifier",
                "name": "a",
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 17
                  },
                  "end": {
                    "line": 35,
                    "column": 18
                  }
                }
              },
              "typeAnnotation": {
                "type": "TSInferType",
                "typeParameter": {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "U",
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 26
                      },
                      "end": {
                        "line": 35,
                        "column": 27
                      }
                    }
                  },
                  "in": false,
                  "out": false,
                  "loc": {
                    "start": {
                      "line": 35,
                      "column": 26
                    },
                    "end": {
                      "line": 35,
                      "column": 28
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 20
                  },
                  "end": {
                    "line": 35,
                    "column": 28
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 35,
                  "column": 17
                },
                "end": {
                  "line": 35,
                  "column": 28
                }
              }
            },
            {
              "type": "TSPropertySignature",
              "computed": false,
              "optional": false,
              "readonly": false,
              "key": {
                "type": "Identifier",
                "name": "b",
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 29
                  },
                  "end": {
                    "line": 35,
                    "column": 30
                  }
                }
              },
              "typeAnnotation": {
                "type": "TSInferType",
                "typeParameter": {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "U",
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 38
                      },
                      "end": {
                        "line": 35,
                        "column": 39
                      }
                    }
                  },
                  "constraint": {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 48
                      },
                      "end": {
                        "line": 35,
                        "column": 54
                      }
                    }
                  },
                  "in": false,
                  "out": false,
                  "loc": {
                    "start": {
                      "line": 35,
                      "column": 38
                    },
                    "end": {
                      "line": 35,
                      "column": 56
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 32
                  },
                  "end": {
                    "line": 35,
                    "column": 56
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 35,
                  "column": 29
                },
                "end": {
                  "line": 35,
                  "column": 56
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 35,
              "column": 15
            },
            "end": {
              "line": 35,
              "column": 56
            }
          }
        },
        "trueType": {
          "type": "TSTupleType",
          "elementTypes": [
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "StringLiteral",
                "value": "string",
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 60
                  },
                  "end": {
                    "line": 35,
                    "column": 68
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 35,
                  "column": 60
                },
                "end": {
                  "line": 35,
                  "column": 68
                }
              }
            },
            {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 70
                  },
                  "end": {
                    "line": 35,
                    "column": 71
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 35,
                  "column": 70
                },
                "end": {
                  "line": 35,
                  "column": 71
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 35,
              "column": 59
            },
            "end": {
              "line": 35,
              "column": 72
            }
          }
        },
        "falseType": {
          "type": "TSConditionalType",
          "checkType": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 36,
                  "column": 5
                },
                "end": {
                  "line": 36,
                  "column": 6
                }
              }
            },
            "loc": {
              "start": {
                "line": 36,
                "column": 5
              },
              "end": {
                "line": 36,
                "column": 6
              }
            }
          },
          "extendsType": {
            "type": "TSTypeLiteral",
            "members": [
              {
                "type": "TSPropertySignature",
                "computed": false,
                "optional": false,
                "readonly": false,
                "key": {
                  "type": "Identifier",
                  "name": "a",
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 17
                    },
                    "end": {
                      "line": 36,
                      "column": 18
                    }
                  }
                },
                "typeAnnotation": {
                  "type": "TSInferType",
                  "typeParameter": {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "U",
                      "loc": {
                        "start": {
                          "line": 36,
                          "column": 26
                        },
                        "end": {
                          "line": 36,
                          "column": 27
                        }
                      }
                    },
                    "in": false,
                    "out": false,
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 26
                      },
                      "end": {
                        "line": 36,
                        "column": 28
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 20
                    },
                    "end": {
                      "line": 36,
                      "column": 28
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 17
                  },
                  "end": {
                    "line": 36,
                    "column": 28
                  }
                }
              },
              {
                "type": "TSPropertySignature",
                "computed": false,
                "optional": false,
                "readonly": false,
                "key": {
                  "type": "Identifier",
                  "name": "b",
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 29
                    },
                    "end": {
                      "line": 36,
                      "column": 30
                    }
                  }
                },
                "typeAnnotation": {
                  "type": "TSInferType",
                  "typeParameter": {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "U",
                      "loc": {
                        "start": {
                          "line": 36,
                          "column": 38
                        },
                        "end": {
                          "line": 36,
                          "column": 39
                        }
                      }
                    },
                    "constraint": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 36,
                          "column": 48
                        },
                        "end": {
                          "line": 36,
                          "column": 54
                        }
                      }
                    },
                    "in": false,
                    "out": false,
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 38
                      },
                      "end": {
                        "line": 36,
                        "column": 56
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 32
                    },
                    "end": {
                      "line": 36,
                      "column": 56
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 29
                  },
                  "end": {
                    "line": 36,
                    "column": 56
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 36,
                "column": 15
              },
              "end": {
                "line": 36,
                "column": 56
              }
            }
          },
          "trueType": {
            "type": "TSTupleType",
            "elementTypes": [
              {
                "type": "TSLiteralType",
                "literal": {
                  "type": "StringLiteral",
                  "value": "number",
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 60
                    },
                    "end": {
                      "line": 36,
                      "column": 68
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 60
                  },
                  "end": {
                    "line": 36,
                    "column": 68
                  }
                }
              },
              {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 70
                    },
                    "end": {
                      "line": 36,
                      "column": 71
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 70
                  },
                  "end": {
                    "line": 36,
                    "column": 71
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 36,
                "column": 59
              },
              "end": {
                "line": 36,
                "column": 72
              }
            }
          },
          "falseType": {
            "type": "TSNeverKeyword",
            "loc": {
              "start": {
                "line": 37,
                "column": 5
              },
              "end": {
                "line": 37,
                "column": 10
              }
            }
          },
          "loc": {
            "start": {
              "line": 36,
              "column": 5
            },
            "end": {
              "line": 37,
              "column": 10
            }
          }
        },
        "loc": {
          "start": {
            "line": 35,
            "column": 5
          },
          "end": {
            "line": 37,
            "column": 10
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 34,
                  "column": 9
                },
                "end": {
                  "line": 34,
                  "column": 10
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 34,
                "column": 9
              },
              "end": {
                "line": 34,
                "column": 11
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 34,
            "column": 8
          },
          "end": {
            "line": 34,
            "column": 11
          }
        }
      },
      "loc": {
        "start": {
          "line": 34,
          "column": 1
        },
        "end": {
          "line": 37,
          "column": 11
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X9_T1",
        "loc": {
          "start": {
            "line": 39,
            "column": 6
          },
          "end": {
            "line": 39,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T9",
          "loc": {
            "start": {
              "line": 39,
              "column": 14
            },
            "end": {
              "line": 39,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 19
                      },
                      "end": {
                        "line": 39,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "a",
                      "loc": {
                        "start": {
                          "line": 39,
                          "column": 22
                        },
                        "end": {
                          "line": 39,
                          "column": 25
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 22
                      },
                      "end": {
                        "line": 39,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 39,
                      "column": 19
                    },
                    "end": {
                      "line": 39,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 27
                      },
                      "end": {
                        "line": 39,
                        "column": 28
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "b",
                      "loc": {
                        "start": {
                          "line": 39,
                          "column": 30
                        },
                        "end": {
                          "line": 39,
                          "column": 33
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 30
                      },
                      "end": {
                        "line": 39,
                        "column": 33
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 39,
                      "column": 27
                    },
                    "end": {
                      "line": 39,
                      "column": 35
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 39,
                  "column": 17
                },
                "end": {
                  "line": 39,
                  "column": 35
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 39,
              "column": 16
            },
            "end": {
              "line": 39,
              "column": 36
            }
          }
        },
        "loc": {
          "start": {
            "line": 39,
            "column": 14
          },
          "end": {
            "line": 39,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 39,
          "column": 1
        },
        "end": {
          "line": 39,
          "column": 37
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X9_T2",
        "loc": {
          "start": {
            "line": 40,
            "column": 6
          },
          "end": {
            "line": 40,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T9",
          "loc": {
            "start": {
              "line": 40,
              "column": 14
            },
            "end": {
              "line": 40,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 40,
                        "column": 19
                      },
                      "end": {
                        "line": 40,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 40,
                          "column": 22
                        },
                        "end": {
                          "line": 40,
                          "column": 23
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 40,
                        "column": 22
                      },
                      "end": {
                        "line": 40,
                        "column": 23
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 40,
                      "column": 19
                    },
                    "end": {
                      "line": 40,
                      "column": 24
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 40,
                        "column": 25
                      },
                      "end": {
                        "line": 40,
                        "column": 26
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 2,
                      "loc": {
                        "start": {
                          "line": 40,
                          "column": 28
                        },
                        "end": {
                          "line": 40,
                          "column": 29
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 40,
                        "column": 28
                      },
                      "end": {
                        "line": 40,
                        "column": 29
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 40,
                      "column": 25
                    },
                    "end": {
                      "line": 40,
                      "column": 31
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 40,
                  "column": 17
                },
                "end": {
                  "line": 40,
                  "column": 31
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 40,
              "column": 16
            },
            "end": {
              "line": 40,
              "column": 32
            }
          }
        },
        "loc": {
          "start": {
            "line": 40,
            "column": 14
          },
          "end": {
            "line": 40,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 40,
          "column": 1
        },
        "end": {
          "line": 40,
          "column": 33
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X9_T3",
        "loc": {
          "start": {
            "line": 41,
            "column": 6
          },
          "end": {
            "line": 41,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T9",
          "loc": {
            "start": {
              "line": 41,
              "column": 14
            },
            "end": {
              "line": 41,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 19
                      },
                      "end": {
                        "line": 41,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSObjectKeyword",
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 22
                      },
                      "end": {
                        "line": 41,
                        "column": 28
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 41,
                      "column": 19
                    },
                    "end": {
                      "line": 41,
                      "column": 29
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 30
                      },
                      "end": {
                        "line": 41,
                        "column": 31
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSObjectKeyword",
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 33
                      },
                      "end": {
                        "line": 41,
                        "column": 39
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 41,
                      "column": 30
                    },
                    "end": {
                      "line": 41,
                      "column": 41
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 41,
                  "column": 17
                },
                "end": {
                  "line": 41,
                  "column": 41
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 41,
              "column": 16
            },
            "end": {
              "line": 41,
              "column": 42
            }
          }
        },
        "loc": {
          "start": {
            "line": 41,
            "column": 14
          },
          "end": {
            "line": 41,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 41,
          "column": 1
        },
        "end": {
          "line": 41,
          "column": 43
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X9_T4",
        "loc": {
          "start": {
            "line": 42,
            "column": 6
          },
          "end": {
            "line": 42,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T9",
          "loc": {
            "start": {
              "line": 42,
              "column": 14
            },
            "end": {
              "line": 42,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "a",
                    "loc": {
                      "start": {
                        "line": 42,
                        "column": 19
                      },
                      "end": {
                        "line": 42,
                        "column": 20
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "StringLiteral",
                      "value": "a",
                      "loc": {
                        "start": {
                          "line": 42,
                          "column": 22
                        },
                        "end": {
                          "line": 42,
                          "column": 25
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 42,
                        "column": 22
                      },
                      "end": {
                        "line": 42,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 42,
                      "column": 19
                    },
                    "end": {
                      "line": 42,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "b",
                    "loc": {
                      "start": {
                        "line": 42,
                        "column": 27
                      },
                      "end": {
                        "line": 42,
                        "column": 28
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 42,
                          "column": 30
                        },
                        "end": {
                          "line": 42,
                          "column": 31
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 42,
                        "column": 30
                      },
                      "end": {
                        "line": 42,
                        "column": 31
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 42,
                      "column": 27
                    },
                    "end": {
                      "line": 42,
                      "column": 33
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 42,
                  "column": 17
                },
                "end": {
                  "line": 42,
                  "column": 33
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 42,
              "column": 16
            },
            "end": {
              "line": 42,
              "column": 34
            }
          }
        },
        "loc": {
          "start": {
            "line": 42,
            "column": 14
          },
          "end": {
            "line": 42,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 42,
          "column": 1
        },
        "end": {
          "line": 42,
          "column": 35
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 43,
      "column": 1
    }
  }
}
