xref: /arkcompiler/ets_frontend/es2panda/test/parser/ts/test_generic-expected.txt

{
  "type": "Program",
  "statements": [
    {
      "type": "FunctionDeclaration",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "func1",
          "loc": {
            "start": {
              "line": 17,
              "column": 10
            },
            "end": {
              "line": 17,
              "column": 15
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [
          {
            "type": "Identifier",
            "name": "arg",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "Type",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 59
                  },
                  "end": {
                    "line": 17,
                    "column": 63
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 59
                },
                "end": {
                  "line": 17,
                  "column": 63
                }
              }
            },
            "loc": {
              "start": {
                "line": 17,
                "column": 54
              },
              "end": {
                "line": 17,
                "column": 57
              }
            }
          }
        ],
        "returnType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "Type",
            "loc": {
              "start": {
                "line": 17,
                "column": 66
              },
              "end": {
                "line": 17,
                "column": 70
              }
            }
          },
          "loc": {
            "start": {
              "line": 17,
              "column": 66
            },
            "end": {
              "line": 17,
              "column": 70
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterDeclaration",
          "params": [
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "Type",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 16
                  },
                  "end": {
                    "line": 17,
                    "column": 20
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 16
                },
                "end": {
                  "line": 17,
                  "column": 21
                }
              }
            },
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "A",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 22
                  },
                  "end": {
                    "line": 17,
                    "column": 23
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 22
                },
                "end": {
                  "line": 17,
                  "column": 24
                }
              }
            },
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "B",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 25
                  },
                  "end": {
                    "line": 17,
                    "column": 26
                  }
                }
              },
              "constraint": {
                "type": "TSTypeOperator",
                "operator": "readonly",
                "typeAnnotation": {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 44
                      },
                      "end": {
                        "line": 17,
                        "column": 50
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 44
                    },
                    "end": {
                      "line": 17,
                      "column": 52
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 35
                  },
                  "end": {
                    "line": 17,
                    "column": 52
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 25
                },
                "end": {
                  "line": 17,
                  "column": 53
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 17,
              "column": 15
            },
            "end": {
              "line": 17,
              "column": 53
            }
          }
        },
        "body": {
          "type": "BlockStatement",
          "statements": [
            {
              "type": "ReturnStatement",
              "argument": {
                "type": "Identifier",
                "name": "arg",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 12
                  },
                  "end": {
                    "line": 18,
                    "column": 15
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 18,
                  "column": 5
                },
                "end": {
                  "line": 18,
                  "column": 16
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 17,
              "column": 71
            },
            "end": {
              "line": 19,
              "column": 2
            }
          }
        },
        "loc": {
          "start": {
            "line": 17,
            "column": 1
          },
          "end": {
            "line": 19,
            "column": 2
          }
        }
      },
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 19,
          "column": 2
        }
      }
    },
    {
      "type": "FunctionDeclaration",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "func2",
          "loc": {
            "start": {
              "line": 21,
              "column": 10
            },
            "end": {
              "line": 21,
              "column": 15
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [],
        "typeParameters": {
          "type": "TSTypeParameterDeclaration",
          "params": [
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "A",
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 16
                  },
                  "end": {
                    "line": 21,
                    "column": 17
                  }
                }
              },
              "constraint": {
                "type": "TSTypeLiteral",
                "members": [
                  {
                    "type": "TSPropertySignature",
                    "computed": false,
                    "optional": false,
                    "readonly": false,
                    "key": {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 28
                        },
                        "end": {
                          "line": 21,
                          "column": 29
                        }
                      }
                    },
                    "typeAnnotation": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 31
                        },
                        "end": {
                          "line": 21,
                          "column": 37
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 28
                      },
                      "end": {
                        "line": 21,
                        "column": 38
                      }
                    }
                  },
                  {
                    "type": "TSPropertySignature",
                    "computed": false,
                    "optional": false,
                    "readonly": false,
                    "key": {
                      "type": "Identifier",
                      "name": "b",
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 39
                        },
                        "end": {
                          "line": 21,
                          "column": 40
                        }
                      }
                    },
                    "typeAnnotation": {
                      "type": "TSStringKeyword",
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 42
                        },
                        "end": {
                          "line": 21,
                          "column": 48
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 39
                      },
                      "end": {
                        "line": 21,
                        "column": 50
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 26
                  },
                  "end": {
                    "line": 21,
                    "column": 50
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 21,
                  "column": 16
                },
                "end": {
                  "line": 21,
                  "column": 51
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 21,
              "column": 15
            },
            "end": {
              "line": 21,
              "column": 51
            }
          }
        },
        "body": {
          "type": "BlockStatement",
          "statements": [],
          "loc": {
            "start": {
              "line": 21,
              "column": 54
            },
            "end": {
              "line": 21,
              "column": 57
            }
          }
        },
        "loc": {
          "start": {
            "line": 21,
            "column": 1
          },
          "end": {
            "line": 21,
            "column": 57
          }
        }
      },
      "loc": {
        "start": {
          "line": 21,
          "column": 1
        },
        "end": {
          "line": 21,
          "column": 57
        }
      }
    },
    {
      "type": "FunctionDeclaration",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "func3",
          "loc": {
            "start": {
              "line": 23,
              "column": 10
            },
            "end": {
              "line": 23,
              "column": 15
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [
          {
            "type": "Identifier",
            "name": "a",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "A",
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 90
                  },
                  "end": {
                    "line": 23,
                    "column": 91
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 23,
                  "column": 90
                },
                "end": {
                  "line": 23,
                  "column": 91
                }
              }
            },
            "loc": {
              "start": {
                "line": 23,
                "column": 87
              },
              "end": {
                "line": 23,
                "column": 88
              }
            }
          },
          {
            "type": "Identifier",
            "name": "b",
            "typeAnnotation": {
              "type": "TSStringKeyword",
              "loc": {
                "start": {
                  "line": 23,
                  "column": 96
                },
                "end": {
                  "line": 23,
                  "column": 102
                }
              }
            },
            "loc": {
              "start": {
                "line": 23,
                "column": 93
              },
              "end": {
                "line": 23,
                "column": 94
              }
            }
          }
        ],
        "returnType": {
          "type": "TSUnionType",
          "types": [
            {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 23,
                  "column": 105
                },
                "end": {
                  "line": 23,
                  "column": 111
                }
              }
            },
            {
              "type": "TSBooleanKeyword",
              "loc": {
                "start": {
                  "line": 23,
                  "column": 114
                },
                "end": {
                  "line": 23,
                  "column": 121
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 23,
              "column": 105
            },
            "end": {
              "line": 23,
              "column": 121
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterDeclaration",
          "params": [
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "A",
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 16
                  },
                  "end": {
                    "line": 23,
                    "column": 17
                  }
                }
              },
              "constraint": {
                "type": "TSTypeOperator",
                "operator": "keyof",
                "typeAnnotation": {
                  "type": "TSTypeLiteral",
                  "members": [
                    {
                      "type": "TSPropertySignature",
                      "computed": false,
                      "optional": false,
                      "readonly": false,
                      "key": {
                        "type": "Identifier",
                        "name": "a",
                        "loc": {
                          "start": {
                            "line": 23,
                            "column": 34
                          },
                          "end": {
                            "line": 23,
                            "column": 35
                          }
                        }
                      },
                      "typeAnnotation": {
                        "type": "TSTypeLiteral",
                        "members": [
                          {
                            "type": "TSPropertySignature",
                            "computed": false,
                            "optional": false,
                            "readonly": false,
                            "key": {
                              "type": "Identifier",
                              "name": "b",
                              "loc": {
                                "start": {
                                  "line": 23,
                                  "column": 39
                                },
                                "end": {
                                  "line": 23,
                                  "column": 40
                                }
                              }
                            },
                            "typeAnnotation": {
                              "type": "TSNumberKeyword",
                              "loc": {
                                "start": {
                                  "line": 23,
                                  "column": 42
                                },
                                "end": {
                                  "line": 23,
                                  "column": 48
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 23,
                                "column": 39
                              },
                              "end": {
                                "line": 23,
                                "column": 49
                              }
                            }
                          },
                          {
                            "type": "TSPropertySignature",
                            "computed": false,
                            "optional": false,
                            "readonly": false,
                            "key": {
                              "type": "Identifier",
                              "name": "c",
                              "loc": {
                                "start": {
                                  "line": 23,
                                  "column": 50
                                },
                                "end": {
                                  "line": 23,
                                  "column": 51
                                }
                              }
                            },
                            "typeAnnotation": {
                              "type": "TSBooleanKeyword",
                              "loc": {
                                "start": {
                                  "line": 23,
                                  "column": 53
                                },
                                "end": {
                                  "line": 23,
                                  "column": 60
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 23,
                                "column": 50
                              },
                              "end": {
                                "line": 23,
                                "column": 62
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 23,
                            "column": 37
                          },
                          "end": {
                            "line": 23,
                            "column": 62
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 23,
                          "column": 34
                        },
                        "end": {
                          "line": 23,
                          "column": 63
                        }
                      }
                    },
                    {
                      "type": "TSPropertySignature",
                      "computed": false,
                      "optional": false,
                      "readonly": false,
                      "key": {
                        "type": "Identifier",
                        "name": "b",
                        "loc": {
                          "start": {
                            "line": 23,
                            "column": 64
                          },
                          "end": {
                            "line": 23,
                            "column": 65
                          }
                        }
                      },
                      "typeAnnotation": {
                        "type": "TSTupleType",
                        "elementTypes": [
                          {
                            "type": "TSNumberKeyword",
                            "loc": {
                              "start": {
                                "line": 23,
                                "column": 68
                              },
                              "end": {
                                "line": 23,
                                "column": 74
                              }
                            }
                          },
                          {
                            "type": "TSStringKeyword",
                            "loc": {
                              "start": {
                                "line": 23,
                                "column": 76
                              },
                              "end": {
                                "line": 23,
                                "column": 82
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 23,
                            "column": 67
                          },
                          "end": {
                            "line": 23,
                            "column": 83
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 23,
                          "column": 64
                        },
                        "end": {
                          "line": 23,
                          "column": 85
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 23,
                      "column": 32
                    },
                    "end": {
                      "line": 23,
                      "column": 85
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 23,
                    "column": 26
                  },
                  "end": {
                    "line": 23,
                    "column": 85
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 23,
                  "column": 16
                },
                "end": {
                  "line": 23,
                  "column": 86
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 23,
              "column": 15
            },
            "end": {
              "line": 23,
              "column": 86
            }
          }
        },
        "body": {
          "type": "BlockStatement",
          "statements": [
            {
              "type": "ReturnStatement",
              "argument": {
                "type": "BooleanLiteral",
                "value": true,
                "loc": {
                  "start": {
                    "line": 24,
                    "column": 12
                  },
                  "end": {
                    "line": 24,
                    "column": 16
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 24,
                  "column": 5
                },
                "end": {
                  "line": 24,
                  "column": 17
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 23,
              "column": 122
            },
            "end": {
              "line": 25,
              "column": 2
            }
          }
        },
        "loc": {
          "start": {
            "line": 23,
            "column": 1
          },
          "end": {
            "line": 25,
            "column": 2
          }
        }
      },
      "loc": {
        "start": {
          "line": 23,
          "column": 1
        },
        "end": {
          "line": 25,
          "column": 2
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "PromiseConstructorLike",
        "loc": {
          "start": {
            "line": 27,
            "column": 14
          },
          "end": {
            "line": 27,
            "column": 36
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConstructorType",
        "params": [
          {
            "type": "Identifier",
            "name": "executor",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "resolve",
                  "typeAnnotation": {
                    "type": "TSFunctionType",
                    "params": [
                      {
                        "type": "Identifier",
                        "name": "value",
                        "typeAnnotation": {
                          "type": "TSUnionType",
                          "types": [
                            {
                              "type": "TSTypeReference",
                              "typeName": {
                                "type": "Identifier",
                                "name": "T",
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 75
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 76
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 75
                                },
                                "end": {
                                  "line": 27,
                                  "column": 76
                                }
                              }
                            },
                            {
                              "type": "TSTypeReference",
                              "typeName": {
                                "type": "Identifier",
                                "name": "PromiseLike",
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 79
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 90
                                  }
                                }
                              },
                              "typeParameters": {
                                "type": "TSTypeParameterInstantiation",
                                "params": [
                                  {
                                    "type": "TSTypeReference",
                                    "typeName": {
                                      "type": "Identifier",
                                      "name": "T",
                                      "loc": {
                                        "start": {
                                          "line": 27,
                                          "column": 91
                                        },
                                        "end": {
                                          "line": 27,
                                          "column": 92
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 27,
                                        "column": 91
                                      },
                                      "end": {
                                        "line": 27,
                                        "column": 92
                                      }
                                    }
                                  }
                                ],
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 79
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 93
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 79
                                },
                                "end": {
                                  "line": 27,
                                  "column": 90
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 75
                            },
                            "end": {
                              "line": 27,
                              "column": 90
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 68
                          },
                          "end": {
                            "line": 27,
                            "column": 73
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "TSVoidKeyword",
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 98
                        },
                        "end": {
                          "line": 27,
                          "column": 102
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 67
                      },
                      "end": {
                        "line": 27,
                        "column": 102
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 58
                    },
                    "end": {
                      "line": 27,
                      "column": 65
                    }
                  }
                },
                {
                  "type": "Identifier",
                  "name": "reject",
                  "typeAnnotation": {
                    "type": "TSFunctionType",
                    "params": [
                      {
                        "type": "Identifier",
                        "name": "reason",
                        "typeAnnotation": {
                          "type": "TSAnyKeyword",
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 122
                            },
                            "end": {
                              "line": 27,
                              "column": 125
                            }
                          }
                        },
                        "optional": true,
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 113
                          },
                          "end": {
                            "line": 27,
                            "column": 119
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "TSVoidKeyword",
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 130
                        },
                        "end": {
                          "line": 27,
                          "column": 134
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 112
                      },
                      "end": {
                        "line": 27,
                        "column": 134
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 104
                    },
                    "end": {
                      "line": 27,
                      "column": 110
                    }
                  }
                }
              ],
              "returnType": {
                "type": "TSVoidKeyword",
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 139
                  },
                  "end": {
                    "line": 27,
                    "column": 143
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 27,
                  "column": 57
                },
                "end": {
                  "line": 27,
                  "column": 143
                }
              }
            },
            "loc": {
              "start": {
                "line": 27,
                "column": 47
              },
              "end": {
                "line": 27,
                "column": 55
              }
            }
          }
        ],
        "typeParameters": {
          "type": "TSTypeParameterDeclaration",
          "params": [
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 44
                  },
                  "end": {
                    "line": 27,
                    "column": 45
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 27,
                  "column": 44
                },
                "end": {
                  "line": 27,
                  "column": 46
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 27,
              "column": 43
            },
            "end": {
              "line": 27,
              "column": 46
            }
          }
        },
        "returnType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "PromiseLike",
            "loc": {
              "start": {
                "line": 27,
                "column": 148
              },
              "end": {
                "line": 27,
                "column": 159
              }
            }
          },
          "typeParameters": {
            "type": "TSTypeParameterInstantiation",
            "params": [
              {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "T",
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 160
                    },
                    "end": {
                      "line": 27,
                      "column": 161
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 160
                  },
                  "end": {
                    "line": 27,
                    "column": 161
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 27,
                "column": 148
              },
              "end": {
                "line": 27,
                "column": 162
              }
            }
          },
          "loc": {
            "start": {
              "line": 27,
              "column": 148
            },
            "end": {
              "line": 27,
              "column": 159
            }
          }
        },
        "loc": {
          "start": {
            "line": 27,
            "column": 39
          },
          "end": {
            "line": 27,
            "column": 159
          }
        }
      },
      "declare": true,
      "loc": {
        "start": {
          "line": 27,
          "column": 9
        },
        "end": {
          "line": 27,
          "column": 163
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "a",
              "loc": {
                "start": {
                  "line": 30,
                  "column": 5
                },
                "end": {
                  "line": 30,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 30,
                  "column": 8
                },
                "end": {
                  "line": 30,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 30,
                "column": 5
              },
              "end": {
                "line": 30,
                "column": 15
              }
            }
          },
          {
            "type": "TSIndexSignature",
            "parameters": {
              "type": "Identifier",
              "name": "x",
              "typeAnnotation": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 31,
                    "column": 9
                  },
                  "end": {
                    "line": 31,
                    "column": 15
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 31,
                  "column": 6
                },
                "end": {
                  "line": 31,
                  "column": 7
                }
              }
            },
            "typeAnnotation": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSBooleanKeyword",
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 18
                    },
                    "end": {
                      "line": 31,
                      "column": 25
                    }
                  }
                },
                {
                  "type": "TSNumberKeyword",
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 28
                    },
                    "end": {
                      "line": 31,
                      "column": 34
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 31,
                  "column": 18
                },
                "end": {
                  "line": 31,
                  "column": 34
                }
              }
            },
            "readonly": false,
            "loc": {
              "start": {
                "line": 31,
                "column": 5
              },
              "end": {
                "line": 31,
                "column": 35
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 29,
            "column": 53
          },
          "end": {
            "line": 32,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "R",
        "loc": {
          "start": {
            "line": 29,
            "column": 11
          },
          "end": {
            "line": 29,
            "column": 12
          }
        }
      },
      "extends": [],
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "K",
              "loc": {
                "start": {
                  "line": 29,
                  "column": 13
                },
                "end": {
                  "line": 29,
                  "column": 14
                }
              }
            },
            "constraint": {
              "type": "TSTupleType",
              "elementTypes": [
                {
                  "type": "TSNumberKeyword",
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 24
                    },
                    "end": {
                      "line": 29,
                      "column": 30
                    }
                  }
                },
                {
                  "type": "TSStringKeyword",
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 32
                    },
                    "end": {
                      "line": 29,
                      "column": 38
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 29,
                  "column": 23
                },
                "end": {
                  "line": 29,
                  "column": 39
                }
              }
            },
            "loc": {
              "start": {
                "line": 29,
                "column": 13
              },
              "end": {
                "line": 29,
                "column": 40
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 29,
                  "column": 41
                },
                "end": {
                  "line": 29,
                  "column": 42
                }
              }
            },
            "default": {
              "type": "TSStringKeyword",
              "loc": {
                "start": {
                  "line": 29,
                  "column": 45
                },
                "end": {
                  "line": 29,
                  "column": 51
                }
              }
            },
            "loc": {
              "start": {
                "line": 29,
                "column": 41
              },
              "end": {
                "line": 29,
                "column": 52
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 29,
            "column": 12
          },
          "end": {
            "line": 29,
            "column": 52
          }
        }
      },
      "loc": {
        "start": {
          "line": 29,
          "column": 1
        },
        "end": {
          "line": 32,
          "column": 2
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "TSCallSignatureDeclaration",
            "params": [],
            "typeParameters": {
              "type": "TSTypeParameterDeclaration",
              "params": [
                {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "A",
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 6
                      },
                      "end": {
                        "line": 35,
                        "column": 7
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 35,
                      "column": 6
                    },
                    "end": {
                      "line": 35,
                      "column": 8
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 35,
                  "column": 5
                },
                "end": {
                  "line": 35,
                  "column": 8
                }
              }
            },
            "returnType": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 35,
                  "column": 12
                },
                "end": {
                  "line": 35,
                  "column": 18
                }
              }
            },
            "loc": {
              "start": {
                "line": 35,
                "column": 5
              },
              "end": {
                "line": 35,
                "column": 19
              }
            }
          },
          {
            "type": "TSMethodSignature",
            "computed": false,
            "optional": false,
            "key": {
              "type": "Identifier",
              "name": "readonly",
              "loc": {
                "start": {
                  "line": 36,
                  "column": 5
                },
                "end": {
                  "line": 36,
                  "column": 13
                }
              }
            },
            "params": [],
            "typeParameters": {
              "type": "TSTypeParameterDeclaration",
              "params": [
                {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "A",
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 14
                      },
                      "end": {
                        "line": 36,
                        "column": 15
                      }
                    }
                  },
                  "constraint": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 24
                      },
                      "end": {
                        "line": 36,
                        "column": 30
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 14
                    },
                    "end": {
                      "line": 36,
                      "column": 31
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 36,
                  "column": 13
                },
                "end": {
                  "line": 36,
                  "column": 31
                }
              }
            },
            "typeAnnotation": {
              "type": "TSTupleType",
              "elementTypes": [
                {
                  "type": "TSBooleanKeyword",
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 36
                    },
                    "end": {
                      "line": 36,
                      "column": 43
                    }
                  }
                },
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 36,
                        "column": 45
                      },
                      "end": {
                        "line": 36,
                        "column": 51
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 45
                    },
                    "end": {
                      "line": 36,
                      "column": 53
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 36,
                  "column": 35
                },
                "end": {
                  "line": 36,
                  "column": 54
                }
              }
            },
            "loc": {
              "start": {
                "line": 36,
                "column": 5
              },
              "end": {
                "line": 36,
                "column": 55
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 34,
            "column": 117
          },
          "end": {
            "line": 37,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "U",
        "loc": {
          "start": {
            "line": 34,
            "column": 11
          },
          "end": {
            "line": 34,
            "column": 12
          }
        }
      },
      "extends": [
        {
          "type": "TSInterfaceHeritage",
          "expression": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "R",
              "loc": {
                "start": {
                  "line": 34,
                  "column": 97
                },
                "end": {
                  "line": 34,
                  "column": 98
                }
              }
            },
            "typeParameters": {
              "type": "TSTypeParameterInstantiation",
              "params": [
                {
                  "type": "TSTupleType",
                  "elementTypes": [
                    {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 34,
                          "column": 100
                        },
                        "end": {
                          "line": 34,
                          "column": 106
                        }
                      }
                    },
                    {
                      "type": "TSStringKeyword",
                      "loc": {
                        "start": {
                          "line": 34,
                          "column": 108
                        },
                        "end": {
                          "line": 34,
                          "column": 114
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 34,
                      "column": 99
                    },
                    "end": {
                      "line": 34,
                      "column": 115
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 34,
                  "column": 97
                },
                "end": {
                  "line": 34,
                  "column": 116
                }
              }
            },
            "loc": {
              "start": {
                "line": 34,
                "column": 117
              },
              "end": {
                "line": 34,
                "column": 116
              }
            }
          },
          "loc": {
            "start": {
              "line": 34,
              "column": 117
            },
            "end": {
              "line": 34,
              "column": 116
            }
          }
        }
      ],
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "A",
              "loc": {
                "start": {
                  "line": 34,
                  "column": 13
                },
                "end": {
                  "line": 34,
                  "column": 14
                }
              }
            },
            "constraint": {
              "type": "TSTypeOperator",
              "operator": "readonly",
              "typeAnnotation": {
                "type": "TSTupleType",
                "elementTypes": [
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 34,
                        "column": 33
                      },
                      "end": {
                        "line": 34,
                        "column": 39
                      }
                    }
                  },
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 34,
                        "column": 41
                      },
                      "end": {
                        "line": 34,
                        "column": 47
                      }
                    }
                  },
                  {
                    "type": "TSTypeLiteral",
                    "members": [
                      {
                        "type": "TSPropertySignature",
                        "computed": false,
                        "optional": false,
                        "readonly": false,
                        "key": {
                          "type": "Identifier",
                          "name": "a",
                          "loc": {
                            "start": {
                              "line": 34,
                              "column": 51
                            },
                            "end": {
                              "line": 34,
                              "column": 52
                            }
                          }
                        },
                        "typeAnnotation": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 34,
                              "column": 54
                            },
                            "end": {
                              "line": 34,
                              "column": 60
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 34,
                            "column": 51
                          },
                          "end": {
                            "line": 34,
                            "column": 61
                          }
                        }
                      },
                      {
                        "type": "TSPropertySignature",
                        "computed": false,
                        "optional": false,
                        "readonly": false,
                        "key": {
                          "type": "Identifier",
                          "name": "b",
                          "loc": {
                            "start": {
                              "line": 34,
                              "column": 62
                            },
                            "end": {
                              "line": 34,
                              "column": 63
                            }
                          }
                        },
                        "typeAnnotation": {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 34,
                              "column": 65
                            },
                            "end": {
                              "line": 34,
                              "column": 71
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 34,
                            "column": 62
                          },
                          "end": {
                            "line": 34,
                            "column": 73
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 34,
                        "column": 49
                      },
                      "end": {
                        "line": 34,
                        "column": 73
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 34,
                    "column": 32
                  },
                  "end": {
                    "line": 34,
                    "column": 74
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 34,
                  "column": 23
                },
                "end": {
                  "line": 34,
                  "column": 74
                }
              }
            },
            "loc": {
              "start": {
                "line": 34,
                "column": 13
              },
              "end": {
                "line": 34,
                "column": 75
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "Z",
              "loc": {
                "start": {
                  "line": 34,
                  "column": 76
                },
                "end": {
                  "line": 34,
                  "column": 77
                }
              }
            },
            "default": {
              "type": "TSBooleanKeyword",
              "loc": {
                "start": {
                  "line": 34,
                  "column": 80
                },
                "end": {
                  "line": 34,
                  "column": 87
                }
              }
            },
            "loc": {
              "start": {
                "line": 34,
                "column": 76
              },
              "end": {
                "line": 34,
                "column": 88
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 34,
            "column": 12
          },
          "end": {
            "line": 34,
            "column": 88
          }
        }
      },
      "loc": {
        "start": {
          "line": 34,
          "column": 1
        },
        "end": {
          "line": 37,
          "column": 2
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "CallExpression",
        "callee": {
          "type": "Identifier",
          "name": "func1",
          "loc": {
            "start": {
              "line": 39,
              "column": 1
            },
            "end": {
              "line": 39,
              "column": 6
            }
          }
        },
        "arguments": [],
        "optional": false,
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 39,
                  "column": 7
                },
                "end": {
                  "line": 39,
                  "column": 13
                }
              }
            },
            {
              "type": "TSStringKeyword",
              "loc": {
                "start": {
                  "line": 39,
                  "column": 15
                },
                "end": {
                  "line": 39,
                  "column": 21
                }
              }
            },
            {
              "type": "TSTupleType",
              "elementTypes": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 24
                      },
                      "end": {
                        "line": 39,
                        "column": 25
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 39,
                      "column": 24
                    },
                    "end": {
                      "line": 39,
                      "column": 25
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 2,
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 27
                      },
                      "end": {
                        "line": 39,
                        "column": 28
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 39,
                      "column": 27
                    },
                    "end": {
                      "line": 39,
                      "column": 28
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 3,
                    "loc": {
                      "start": {
                        "line": 39,
                        "column": 30
                      },
                      "end": {
                        "line": 39,
                        "column": 31
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 39,
                      "column": 30
                    },
                    "end": {
                      "line": 39,
                      "column": 31
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 39,
                  "column": 23
                },
                "end": {
                  "line": 39,
                  "column": 32
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 39,
              "column": 6
            },
            "end": {
              "line": 39,
              "column": 33
            }
          }
        },
        "loc": {
          "start": {
            "line": 39,
            "column": 1
          },
          "end": {
            "line": 39,
            "column": 35
          }
        }
      },
      "loc": {
        "start": {
          "line": 39,
          "column": 1
        },
        "end": {
          "line": 39,
          "column": 35
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "CallExpression",
        "callee": {
          "type": "Identifier",
          "name": "func2",
          "loc": {
            "start": {
              "line": 40,
              "column": 1
            },
            "end": {
              "line": 40,
              "column": 6
            }
          }
        },
        "arguments": [],
        "optional": false,
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSFunctionType",
              "params": [],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "A",
                      "loc": {
                        "start": {
                          "line": 40,
                          "column": 8
                        },
                        "end": {
                          "line": 40,
                          "column": 9
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 40,
                        "column": 8
                      },
                      "end": {
                        "line": 40,
                        "column": 10
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 40,
                    "column": 7
                  },
                  "end": {
                    "line": 40,
                    "column": 10
                  }
                }
              },
              "returnType": {
                "type": "TSTypeLiteral",
                "members": [],
                "loc": {
                  "start": {
                    "line": 40,
                    "column": 16
                  },
                  "end": {
                    "line": 40,
                    "column": 18
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 40,
                  "column": 7
                },
                "end": {
                  "line": 40,
                  "column": 18
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 40,
              "column": 6
            },
            "end": {
              "line": 40,
              "column": 19
            }
          }
        },
        "loc": {
          "start": {
            "line": 40,
            "column": 1
          },
          "end": {
            "line": 40,
            "column": 21
          }
        }
      },
      "loc": {
        "start": {
          "line": 40,
          "column": 1
        },
        "end": {
          "line": 40,
          "column": 22
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "o",
            "loc": {
              "start": {
                "line": 42,
                "column": 5
              },
              "end": {
                "line": 42,
                "column": 6
              }
            }
          },
          "init": {
            "type": "ObjectExpression",
            "properties": [
              {
                "type": "Property",
                "method": false,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "a",
                  "loc": {
                    "start": {
                      "line": 43,
                      "column": 5
                    },
                    "end": {
                      "line": 43,
                      "column": 6
                    }
                  }
                },
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": null,
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [],
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "B",
                            "loc": {
                              "start": {
                                "line": 43,
                                "column": 18
                              },
                              "end": {
                                "line": 43,
                                "column": 19
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 43,
                              "column": 18
                            },
                            "end": {
                              "line": 43,
                              "column": 20
                            }
                          }
                        },
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "C",
                            "loc": {
                              "start": {
                                "line": 43,
                                "column": 21
                              },
                              "end": {
                                "line": 43,
                                "column": 22
                              }
                            }
                          },
                          "constraint": {
                            "type": "TSTypeQuery",
                            "exprName": {
                              "type": "Identifier",
                              "name": "func1",
                              "loc": {
                                "start": {
                                  "line": 43,
                                  "column": 38
                                },
                                "end": {
                                  "line": 43,
                                  "column": 43
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 43,
                                "column": 31
                              },
                              "end": {
                                "line": 43,
                                "column": 43
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 43,
                              "column": 21
                            },
                            "end": {
                              "line": 43,
                              "column": 44
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 43,
                          "column": 17
                        },
                        "end": {
                          "line": 43,
                          "column": 44
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [],
                      "loc": {
                        "start": {
                          "line": 43,
                          "column": 47
                        },
                        "end": {
                          "line": 43,
                          "column": 50
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 43,
                        "column": 8
                      },
                      "end": {
                        "line": 43,
                        "column": 50
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 43,
                      "column": 8
                    },
                    "end": {
                      "line": 43,
                      "column": 50
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 43,
                    "column": 5
                  },
                  "end": {
                    "line": 43,
                    "column": 50
                  }
                }
              },
              {
                "type": "Property",
                "method": false,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "b",
                  "loc": {
                    "start": {
                      "line": 44,
                      "column": 5
                    },
                    "end": {
                      "line": 44,
                      "column": 6
                    }
                  }
                },
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": null,
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [],
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "D",
                            "loc": {
                              "start": {
                                "line": 44,
                                "column": 18
                              },
                              "end": {
                                "line": 44,
                                "column": 19
                              }
                            }
                          },
                          "default": {
                            "type": "TSNumberKeyword",
                            "loc": {
                              "start": {
                                "line": 44,
                                "column": 22
                              },
                              "end": {
                                "line": 44,
                                "column": 28
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 44,
                              "column": 18
                            },
                            "end": {
                              "line": 44,
                              "column": 29
                            }
                          }
                        },
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "T",
                            "loc": {
                              "start": {
                                "line": 44,
                                "column": 30
                              },
                              "end": {
                                "line": 44,
                                "column": 31
                              }
                            }
                          },
                          "default": {
                            "type": "TSStringKeyword",
                            "loc": {
                              "start": {
                                "line": 44,
                                "column": 34
                              },
                              "end": {
                                "line": 44,
                                "column": 40
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 44,
                              "column": 30
                            },
                            "end": {
                              "line": 44,
                              "column": 41
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 44,
                          "column": 17
                        },
                        "end": {
                          "line": 44,
                          "column": 41
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [],
                      "loc": {
                        "start": {
                          "line": 44,
                          "column": 44
                        },
                        "end": {
                          "line": 44,
                          "column": 47
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 44,
                        "column": 8
                      },
                      "end": {
                        "line": 44,
                        "column": 47
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 44,
                      "column": 8
                    },
                    "end": {
                      "line": 44,
                      "column": 47
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 44,
                    "column": 5
                  },
                  "end": {
                    "line": 44,
                    "column": 47
                  }
                }
              },
              {
                "type": "Property",
                "method": true,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "c",
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 5
                    },
                    "end": {
                      "line": 45,
                      "column": 6
                    }
                  }
                },
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": null,
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [],
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "E",
                            "loc": {
                              "start": {
                                "line": 45,
                                "column": 7
                              },
                              "end": {
                                "line": 45,
                                "column": 8
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 45,
                              "column": 7
                            },
                            "end": {
                              "line": 45,
                              "column": 9
                            }
                          }
                        },
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "F",
                            "loc": {
                              "start": {
                                "line": 45,
                                "column": 10
                              },
                              "end": {
                                "line": 45,
                                "column": 11
                              }
                            }
                          },
                          "constraint": {
                            "type": "TSTypeOperator",
                            "operator": "readonly",
                            "typeAnnotation": {
                              "type": "TSTupleType",
                              "elementTypes": [],
                              "loc": {
                                "start": {
                                  "line": 45,
                                  "column": 29
                                },
                                "end": {
                                  "line": 45,
                                  "column": 31
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 45,
                                "column": 20
                              },
                              "end": {
                                "line": 45,
                                "column": 31
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 45,
                              "column": 10
                            },
                            "end": {
                              "line": 45,
                              "column": 32
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 45,
                          "column": 6
                        },
                        "end": {
                          "line": 45,
                          "column": 32
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [],
                      "loc": {
                        "start": {
                          "line": 45,
                          "column": 35
                        },
                        "end": {
                          "line": 45,
                          "column": 38
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 45,
                        "column": 6
                      },
                      "end": {
                        "line": 45,
                        "column": 38
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 6
                    },
                    "end": {
                      "line": 45,
                      "column": 38
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 45,
                    "column": 5
                  },
                  "end": {
                    "line": 45,
                    "column": 38
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 42,
                "column": 9
              },
              "end": {
                "line": 46,
                "column": 2
              }
            }
          },
          "loc": {
            "start": {
              "line": 42,
              "column": 5
            },
            "end": {
              "line": 46,
              "column": 2
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 42,
          "column": 1
        },
        "end": {
          "line": 46,
          "column": 2
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "A",
          "loc": {
            "start": {
              "line": 48,
              "column": 7
            },
            "end": {
              "line": 48,
              "column": 8
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterDeclaration",
          "params": [
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 48,
                    "column": 9
                  },
                  "end": {
                    "line": 48,
                    "column": 10
                  }
                }
              },
              "constraint": {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "B",
                  "loc": {
                    "start": {
                      "line": 48,
                      "column": 19
                    },
                    "end": {
                      "line": 48,
                      "column": 20
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 48,
                    "column": 19
                  },
                  "end": {
                    "line": 48,
                    "column": 20
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 48,
                  "column": 9
                },
                "end": {
                  "line": 48,
                  "column": 21
                }
              }
            },
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "Z",
                "loc": {
                  "start": {
                    "line": 48,
                    "column": 22
                  },
                  "end": {
                    "line": 48,
                    "column": 23
                  }
                }
              },
              "default": {
                "type": "TSTypeLiteral",
                "members": [
                  {
                    "type": "TSPropertySignature",
                    "computed": false,
                    "optional": false,
                    "readonly": false,
                    "key": {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 48,
                          "column": 28
                        },
                        "end": {
                          "line": 48,
                          "column": 29
                        }
                      }
                    },
                    "typeAnnotation": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 48,
                          "column": 31
                        },
                        "end": {
                          "line": 48,
                          "column": 37
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 48,
                        "column": 28
                      },
                      "end": {
                        "line": 48,
                        "column": 38
                      }
                    }
                  },
                  {
                    "type": "TSPropertySignature",
                    "computed": false,
                    "optional": false,
                    "readonly": false,
                    "key": {
                      "type": "Identifier",
                      "name": "b",
                      "loc": {
                        "start": {
                          "line": 48,
                          "column": 39
                        },
                        "end": {
                          "line": 48,
                          "column": 40
                        }
                      }
                    },
                    "typeAnnotation": {
                      "type": "TSStringKeyword",
                      "loc": {
                        "start": {
                          "line": 48,
                          "column": 42
                        },
                        "end": {
                          "line": 48,
                          "column": 48
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 48,
                        "column": 39
                      },
                      "end": {
                        "line": 48,
                        "column": 50
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 48,
                    "column": 26
                  },
                  "end": {
                    "line": 48,
                    "column": 50
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 48,
                  "column": 22
                },
                "end": {
                  "line": 48,
                  "column": 51
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 48,
              "column": 8
            },
            "end": {
              "line": 48,
              "column": 51
            }
          }
        },
        "superClass": null,
        "implements": [],
        "constructor": {
          "type": "MethodDefinition",
          "key": {
            "type": "Identifier",
            "name": "constructor",
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          "kind": "constructor",
          "static": false,
          "optional": false,
          "computed": false,
          "value": {
            "type": "FunctionExpression",
            "function": {
              "type": "ScriptFunction",
              "id": null,
              "generator": false,
              "async": false,
              "expression": false,
              "params": [],
              "body": {
                "type": "BlockStatement",
                "statements": [],
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          "overloads": [],
          "decorators": [],
          "loc": {
            "start": {
              "line": 48,
              "column": 1
            },
            "end": {
              "line": 51,
              "column": 2
            }
          }
        },
        "body": [
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "a",
              "loc": {
                "start": {
                  "line": 49,
                  "column": 12
                },
                "end": {
                  "line": 49,
                  "column": 13
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": null,
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "typeParameters": {
                  "type": "TSTypeParameterDeclaration",
                  "params": [
                    {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "T",
                        "loc": {
                          "start": {
                            "line": 49,
                            "column": 14
                          },
                          "end": {
                            "line": 49,
                            "column": 15
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 49,
                          "column": 14
                        },
                        "end": {
                          "line": 49,
                          "column": 16
                        }
                      }
                    },
                    {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "R",
                        "loc": {
                          "start": {
                            "line": 49,
                            "column": 17
                          },
                          "end": {
                            "line": 49,
                            "column": 18
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 49,
                          "column": 17
                        },
                        "end": {
                          "line": 49,
                          "column": 19
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 49,
                      "column": 13
                    },
                    "end": {
                      "line": 49,
                      "column": 19
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 49,
                      "column": 22
                    },
                    "end": {
                      "line": 49,
                      "column": 25
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 49,
                    "column": 13
                  },
                  "end": {
                    "line": 49,
                    "column": 25
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 49,
                  "column": 13
                },
                "end": {
                  "line": 49,
                  "column": 25
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 49,
                "column": 5
              },
              "end": {
                "line": 49,
                "column": 25
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "b",
              "loc": {
                "start": {
                  "line": 50,
                  "column": 13
                },
                "end": {
                  "line": 50,
                  "column": 14
                }
              }
            },
            "kind": "method",
            "accessibility": "private",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": null,
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "typeParameters": {
                  "type": "TSTypeParameterDeclaration",
                  "params": [
                    {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "E",
                        "loc": {
                          "start": {
                            "line": 50,
                            "column": 15
                          },
                          "end": {
                            "line": 50,
                            "column": 16
                          }
                        }
                      },
                      "constraint": {
                        "type": "TSFunctionType",
                        "params": [
                          {
                            "type": "Identifier",
                            "name": "a",
                            "typeAnnotation": {
                              "type": "TSNumberKeyword",
                              "loc": {
                                "start": {
                                  "line": 50,
                                  "column": 29
                                },
                                "end": {
                                  "line": 50,
                                  "column": 35
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 50,
                                "column": 26
                              },
                              "end": {
                                "line": 50,
                                "column": 27
                              }
                            }
                          },
                          {
                            "type": "Identifier",
                            "name": "b",
                            "typeAnnotation": {
                              "type": "TSStringKeyword",
                              "loc": {
                                "start": {
                                  "line": 50,
                                  "column": 40
                                },
                                "end": {
                                  "line": 50,
                                  "column": 46
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 50,
                                "column": 37
                              },
                              "end": {
                                "line": 50,
                                "column": 38
                              }
                            }
                          }
                        ],
                        "returnType": {
                          "type": "TSArrayType",
                          "elementType": {
                            "type": "TSAnyKeyword",
                            "loc": {
                              "start": {
                                "line": 50,
                                "column": 51
                              },
                              "end": {
                                "line": 50,
                                "column": 54
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 50,
                              "column": 51
                            },
                            "end": {
                              "line": 50,
                              "column": 56
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 50,
                            "column": 25
                          },
                          "end": {
                            "line": 50,
                            "column": 56
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 50,
                          "column": 15
                        },
                        "end": {
                          "line": 50,
                          "column": 57
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 50,
                      "column": 14
                    },
                    "end": {
                      "line": 50,
                      "column": 57
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 50,
                      "column": 60
                    },
                    "end": {
                      "line": 50,
                      "column": 63
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 50,
                    "column": 14
                  },
                  "end": {
                    "line": 50,
                    "column": 63
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 50,
                  "column": 14
                },
                "end": {
                  "line": 50,
                  "column": 63
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 50,
                "column": 5
              },
              "end": {
                "line": 50,
                "column": 63
              }
            }
          }
        ],
        "indexSignatures": [],
        "loc": {
          "start": {
            "line": 48,
            "column": 52
          },
          "end": {
            "line": 51,
            "column": 2
          }
        }
      },
      "decorators": [],
      "loc": {
        "start": {
          "line": 48,
          "column": 1
        },
        "end": {
          "line": 51,
          "column": 2
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "W",
          "loc": {
            "start": {
              "line": 53,
              "column": 7
            },
            "end": {
              "line": 53,
              "column": 8
            }
          }
        },
        "superClass": {
          "type": "Identifier",
          "name": "T",
          "loc": {
            "start": {
              "line": 53,
              "column": 17
            },
            "end": {
              "line": 53,
              "column": 18
            }
          }
        },
        "superTypeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSFunctionType",
              "params": [],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "B",
                      "loc": {
                        "start": {
                          "line": 53,
                          "column": 20
                        },
                        "end": {
                          "line": 53,
                          "column": 21
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 53,
                        "column": 20
                      },
                      "end": {
                        "line": 53,
                        "column": 22
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 53,
                    "column": 19
                  },
                  "end": {
                    "line": 53,
                    "column": 22
                  }
                }
              },
              "returnType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 53,
                    "column": 29
                  },
                  "end": {
                    "line": 53,
                    "column": 35
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 53,
                  "column": 19
                },
                "end": {
                  "line": 53,
                  "column": 35
                }
              }
            },
            {
              "type": "TSArrayType",
              "elementType": {
                "type": "TSTupleType",
                "elementTypes": [
                  {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 53,
                            "column": 38
                          },
                          "end": {
                            "line": 53,
                            "column": 44
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 53,
                            "column": 47
                          },
                          "end": {
                            "line": 53,
                            "column": 53
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 53,
                        "column": 38
                      },
                      "end": {
                        "line": 53,
                        "column": 53
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 53,
                    "column": 37
                  },
                  "end": {
                    "line": 53,
                    "column": 54
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 53,
                  "column": 37
                },
                "end": {
                  "line": 53,
                  "column": 56
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 53,
              "column": 18
            },
            "end": {
              "line": 53,
              "column": 57
            }
          }
        },
        "implements": [],
        "constructor": {
          "type": "MethodDefinition",
          "key": {
            "type": "Identifier",
            "name": "constructor",
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          "kind": "constructor",
          "static": false,
          "optional": false,
          "computed": false,
          "value": {
            "type": "FunctionExpression",
            "function": {
              "type": "ScriptFunction",
              "id": null,
              "generator": false,
              "async": false,
              "expression": false,
              "params": [
                {
                  "type": "RestElement",
                  "argument": {
                    "type": "Identifier",
                    "name": "args",
                    "loc": {
                      "start": {
                        "line": 1,
                        "column": 1
                      },
                      "end": {
                        "line": 1,
                        "column": 1
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                }
              ],
              "body": {
                "type": "BlockStatement",
                "statements": [
                  {
                    "type": "ExpressionStatement",
                    "expression": {
                      "type": "CallExpression",
                      "callee": {
                        "type": "Super",
                        "loc": {
                          "start": {
                            "line": 1,
                            "column": 1
                          },
                          "end": {
                            "line": 1,
                            "column": 1
                          }
                        }
                      },
                      "arguments": [
                        {
                          "type": "SpreadElement",
                          "argument": {
                            "type": "Identifier",
                            "name": "args",
                            "loc": {
                              "start": {
                                "line": 1,
                                "column": 1
                              },
                              "end": {
                                "line": 1,
                                "column": 1
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "optional": false,
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 1,
                        "column": 1
                      },
                      "end": {
                        "line": 1,
                        "column": 1
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          "overloads": [],
          "decorators": [],
          "loc": {
            "start": {
              "line": 53,
              "column": 1
            },
            "end": {
              "line": 55,
              "column": 2
            }
          }
        },
        "body": [],
        "indexSignatures": [],
        "loc": {
          "start": {
            "line": 53,
            "column": 58
          },
          "end": {
            "line": 55,
            "column": 2
          }
        }
      },
      "decorators": [],
      "loc": {
        "start": {
          "line": 53,
          "column": 1
        },
        "end": {
          "line": 55,
          "column": 2
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "X",
          "loc": {
            "start": {
              "line": 57,
              "column": 7
            },
            "end": {
              "line": 57,
              "column": 8
            }
          }
        },
        "superClass": {
          "type": "Identifier",
          "name": "Q",
          "loc": {
            "start": {
              "line": 57,
              "column": 17
            },
            "end": {
              "line": 57,
              "column": 18
            }
          }
        },
        "superTypeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 57,
                  "column": 19
                },
                "end": {
                  "line": 57,
                  "column": 25
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 57,
              "column": 18
            },
            "end": {
              "line": 57,
              "column": 26
            }
          }
        },
        "implements": [
          {
            "type": "TSClassImplements",
            "expression": {
              "type": "Identifier",
              "name": "S",
              "loc": {
                "start": {
                  "line": 57,
                  "column": 38
                },
                "end": {
                  "line": 57,
                  "column": 39
                }
              }
            },
            "typeParameters": {
              "type": "TSTypeParameterInstantiation",
              "params": [
                {
                  "type": "TSFunctionType",
                  "params": [
                    {
                      "type": "Identifier",
                      "name": "a",
                      "typeAnnotation": {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 57,
                            "column": 46
                          },
                          "end": {
                            "line": 57,
                            "column": 52
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 57,
                          "column": 44
                        },
                        "end": {
                          "line": 57,
                          "column": 45
                        }
                      }
                    },
                    {
                      "type": "Identifier",
                      "name": "b",
                      "typeAnnotation": {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 57,
                            "column": 56
                          },
                          "end": {
                            "line": 57,
                            "column": 62
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 57,
                          "column": 54
                        },
                        "end": {
                          "line": 57,
                          "column": 55
                        }
                      }
                    }
                  ],
                  "typeParameters": {
                    "type": "TSTypeParameterDeclaration",
                    "params": [
                      {
                        "type": "TSTypeParameter",
                        "name": {
                          "type": "Identifier",
                          "name": "R",
                          "loc": {
                            "start": {
                              "line": 57,
                              "column": 41
                            },
                            "end": {
                              "line": 57,
                              "column": 42
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 57,
                            "column": 41
                          },
                          "end": {
                            "line": 57,
                            "column": 43
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 57,
                        "column": 40
                      },
                      "end": {
                        "line": 57,
                        "column": 43
                      }
                    }
                  },
                  "returnType": {
                    "type": "TSTupleType",
                    "elementTypes": [
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 57,
                            "column": 68
                          },
                          "end": {
                            "line": 57,
                            "column": 74
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 57,
                        "column": 67
                      },
                      "end": {
                        "line": 57,
                        "column": 75
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 57,
                      "column": 40
                    },
                    "end": {
                      "line": 57,
                      "column": 75
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 57,
                  "column": 39
                },
                "end": {
                  "line": 57,
                  "column": 76
                }
              }
            },
            "loc": {
              "start": {
                "line": 57,
                "column": 38
              },
              "end": {
                "line": 57,
                "column": 77
              }
            }
          },
          {
            "type": "TSClassImplements",
            "expression": {
              "type": "Identifier",
              "name": "A",
              "loc": {
                "start": {
                  "line": 57,
                  "column": 78
                },
                "end": {
                  "line": 57,
                  "column": 79
                }
              }
            },
            "loc": {
              "start": {
                "line": 57,
                "column": 78
              },
              "end": {
                "line": 57,
                "column": 81
              }
            }
          }
        ],
        "constructor": {
          "type": "MethodDefinition",
          "key": {
            "type": "Identifier",
            "name": "constructor",
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          "kind": "constructor",
          "static": false,
          "optional": false,
          "computed": false,
          "value": {
            "type": "FunctionExpression",
            "function": {
              "type": "ScriptFunction",
              "id": null,
              "generator": false,
              "async": false,
              "expression": false,
              "params": [
                {
                  "type": "RestElement",
                  "argument": {
                    "type": "Identifier",
                    "name": "args",
                    "loc": {
                      "start": {
                        "line": 1,
                        "column": 1
                      },
                      "end": {
                        "line": 1,
                        "column": 1
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                }
              ],
              "body": {
                "type": "BlockStatement",
                "statements": [
                  {
                    "type": "ExpressionStatement",
                    "expression": {
                      "type": "CallExpression",
                      "callee": {
                        "type": "Super",
                        "loc": {
                          "start": {
                            "line": 1,
                            "column": 1
                          },
                          "end": {
                            "line": 1,
                            "column": 1
                          }
                        }
                      },
                      "arguments": [
                        {
                          "type": "SpreadElement",
                          "argument": {
                            "type": "Identifier",
                            "name": "args",
                            "loc": {
                              "start": {
                                "line": 1,
                                "column": 1
                              },
                              "end": {
                                "line": 1,
                                "column": 1
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "optional": false,
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 1,
                        "column": 1
                      },
                      "end": {
                        "line": 1,
                        "column": 1
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          "overloads": [],
          "decorators": [],
          "loc": {
            "start": {
              "line": 57,
              "column": 1
            },
            "end": {
              "line": 59,
              "column": 2
            }
          }
        },
        "body": [],
        "indexSignatures": [],
        "loc": {
          "start": {
            "line": 57,
            "column": 80
          },
          "end": {
            "line": 59,
            "column": 2
          }
        }
      },
      "decorators": [],
      "loc": {
        "start": {
          "line": 57,
          "column": 1
        },
        "end": {
          "line": 59,
          "column": 2
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "a",
            "typeAnnotation": {
              "type": "TSConstructorType",
              "params": [],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "A",
                      "loc": {
                        "start": {
                          "line": 61,
                          "column": 13
                        },
                        "end": {
                          "line": 61,
                          "column": 14
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 61,
                        "column": 13
                      },
                      "end": {
                        "line": 61,
                        "column": 15
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 61,
                    "column": 12
                  },
                  "end": {
                    "line": 61,
                    "column": 15
                  }
                }
              },
              "returnType": {
                "type": "TSFunctionType",
                "params": [],
                "typeParameters": {
                  "type": "TSTypeParameterDeclaration",
                  "params": [
                    {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "B",
                        "loc": {
                          "start": {
                            "line": 61,
                            "column": 22
                          },
                          "end": {
                            "line": 61,
                            "column": 23
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 61,
                          "column": 22
                        },
                        "end": {
                          "line": 61,
                          "column": 24
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 61,
                      "column": 21
                    },
                    "end": {
                      "line": 61,
                      "column": 24
                    }
                  }
                },
                "returnType": {
                  "type": "TSStringKeyword",
                  "loc": {
                    "start": {
                      "line": 61,
                      "column": 30
                    },
                    "end": {
                      "line": 61,
                      "column": 36
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 61,
                    "column": 21
                  },
                  "end": {
                    "line": 61,
                    "column": 36
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 61,
                  "column": 8
                },
                "end": {
                  "line": 61,
                  "column": 36
                }
              }
            },
            "loc": {
              "start": {
                "line": 61,
                "column": 5
              },
              "end": {
                "line": 61,
                "column": 6
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 61,
              "column": 5
            },
            "end": {
              "line": 61,
              "column": 6
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 61,
          "column": 1
        },
        "end": {
          "line": 61,
          "column": 37
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "b",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [
                {
                  "type": "Identifier",
                  "name": "a",
                  "typeAnnotation": {
                    "type": "TSUnionType",
                    "types": [
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 62,
                            "column": 32
                          },
                          "end": {
                            "line": 62,
                            "column": 38
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 62,
                            "column": 41
                          },
                          "end": {
                            "line": 62,
                            "column": 47
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 62,
                        "column": 32
                      },
                      "end": {
                        "line": 62,
                        "column": 47
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 62,
                      "column": 29
                    },
                    "end": {
                      "line": 62,
                      "column": 30
                    }
                  }
                }
              ],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "A",
                      "loc": {
                        "start": {
                          "line": 62,
                          "column": 9
                        },
                        "end": {
                          "line": 62,
                          "column": 10
                        }
                      }
                    },
                    "constraint": {
                      "type": "TSTypeReference",
                      "typeName": {
                        "type": "Identifier",
                        "name": "T",
                        "loc": {
                          "start": {
                            "line": 62,
                            "column": 19
                          },
                          "end": {
                            "line": 62,
                            "column": 20
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 62,
                          "column": 19
                        },
                        "end": {
                          "line": 62,
                          "column": 20
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 62,
                        "column": 9
                      },
                      "end": {
                        "line": 62,
                        "column": 21
                      }
                    }
                  },
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "U",
                      "loc": {
                        "start": {
                          "line": 62,
                          "column": 22
                        },
                        "end": {
                          "line": 62,
                          "column": 23
                        }
                      }
                    },
                    "default": {
                      "type": "TSLiteralType",
                      "literal": {
                        "type": "NumberLiteral",
                        "value": 5,
                        "loc": {
                          "start": {
                            "line": 62,
                            "column": 26
                          },
                          "end": {
                            "line": 62,
                            "column": 27
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 62,
                          "column": 26
                        },
                        "end": {
                          "line": 62,
                          "column": 27
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 62,
                        "column": 22
                      },
                      "end": {
                        "line": 62,
                        "column": 28
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 62,
                    "column": 8
                  },
                  "end": {
                    "line": 62,
                    "column": 28
                  }
                }
              },
              "returnType": {
                "type": "TSTypeLiteral",
                "members": [
                  {
                    "type": "TSPropertySignature",
                    "computed": false,
                    "optional": false,
                    "readonly": false,
                    "key": {
                      "type": "Identifier",
                      "name": "a",
                      "loc": {
                        "start": {
                          "line": 62,
                          "column": 54
                        },
                        "end": {
                          "line": 62,
                          "column": 55
                        }
                      }
                    },
                    "typeAnnotation": {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 62,
                          "column": 57
                        },
                        "end": {
                          "line": 62,
                          "column": 63
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 62,
                        "column": 54
                      },
                      "end": {
                        "line": 62,
                        "column": 65
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 62,
                    "column": 52
                  },
                  "end": {
                    "line": 62,
                    "column": 65
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 62,
                  "column": 8
                },
                "end": {
                  "line": 62,
                  "column": 65
                }
              }
            },
            "loc": {
              "start": {
                "line": 62,
                "column": 5
              },
              "end": {
                "line": 62,
                "column": 6
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 62,
              "column": 5
            },
            "end": {
              "line": 62,
              "column": 6
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 62,
          "column": 1
        },
        "end": {
          "line": 62,
          "column": 66
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "c",
            "typeAnnotation": {
              "type": "TSIndexedAccessType",
              "objectType": {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "TSQualifiedName",
                  "left": {
                    "type": "Identifier",
                    "name": "B",
                    "loc": {
                      "start": {
                        "line": 64,
                        "column": 8
                      },
                      "end": {
                        "line": 64,
                        "column": 9
                      }
                    }
                  },
                  "right": {
                    "type": "Identifier",
                    "name": "T",
                    "loc": {
                      "start": {
                        "line": 64,
                        "column": 10
                      },
                      "end": {
                        "line": 64,
                        "column": 11
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 64,
                      "column": 8
                    },
                    "end": {
                      "line": 64,
                      "column": 12
                    }
                  }
                },
                "typeParameters": {
                  "type": "TSTypeParameterInstantiation",
                  "params": [
                    {
                      "type": "TSTypeReference",
                      "typeName": {
                        "type": "Identifier",
                        "name": "A",
                        "loc": {
                          "start": {
                            "line": 64,
                            "column": 12
                          },
                          "end": {
                            "line": 64,
                            "column": 13
                          }
                        }
                      },
                      "typeParameters": {
                        "type": "TSTypeParameterInstantiation",
                        "params": [
                          {
                            "type": "TSTypeReference",
                            "typeName": {
                              "type": "Identifier",
                              "name": "C",
                              "loc": {
                                "start": {
                                  "line": 64,
                                  "column": 14
                                },
                                "end": {
                                  "line": 64,
                                  "column": 15
                                }
                              }
                            },
                            "typeParameters": {
                              "type": "TSTypeParameterInstantiation",
                              "params": [
                                {
                                  "type": "TSNumberKeyword",
                                  "loc": {
                                    "start": {
                                      "line": 64,
                                      "column": 16
                                    },
                                    "end": {
                                      "line": 64,
                                      "column": 22
                                    }
                                  }
                                }
                              ],
                              "loc": {
                                "start": {
                                  "line": 64,
                                  "column": 14
                                },
                                "end": {
                                  "line": 64,
                                  "column": 25
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 64,
                                "column": 14
                              },
                              "end": {
                                "line": 64,
                                "column": 15
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 64,
                            "column": 12
                          },
                          "end": {
                            "line": 64,
                            "column": 25
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 64,
                          "column": 12
                        },
                        "end": {
                          "line": 64,
                          "column": 13
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 64,
                      "column": 11
                    },
                    "end": {
                      "line": 64,
                      "column": 25
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 64,
                    "column": 8
                  },
                  "end": {
                    "line": 64,
                    "column": 26
                  }
                }
              },
              "indexType": {
                "type": "TSLiteralType",
                "literal": {
                  "type": "NumberLiteral",
                  "value": 0,
                  "loc": {
                    "start": {
                      "line": 64,
                      "column": 26
                    },
                    "end": {
                      "line": 64,
                      "column": 27
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 64,
                    "column": 26
                  },
                  "end": {
                    "line": 64,
                    "column": 27
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 64,
                  "column": 8
                },
                "end": {
                  "line": 64,
                  "column": 29
                }
              }
            },
            "loc": {
              "start": {
                "line": 64,
                "column": 5
              },
              "end": {
                "line": 64,
                "column": 6
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 64,
              "column": 5
            },
            "end": {
              "line": 64,
              "column": 6
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 64,
          "column": 1
        },
        "end": {
          "line": 64,
          "column": 29
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "d",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "A",
                "loc": {
                  "start": {
                    "line": 65,
                    "column": 8
                  },
                  "end": {
                    "line": 65,
                    "column": 9
                  }
                }
              },
              "typeParameters": {
                "type": "TSTypeParameterInstantiation",
                "params": [
                  {
                    "type": "TSNumberKeyword",
                    "loc": {
                      "start": {
                        "line": 65,
                        "column": 10
                      },
                      "end": {
                        "line": 65,
                        "column": 16
                      }
                    }
                  },
                  {
                    "type": "TSTypeLiteral",
                    "members": [
                      {
                        "type": "TSPropertySignature",
                        "computed": false,
                        "optional": false,
                        "readonly": false,
                        "key": {
                          "type": "Identifier",
                          "name": "a",
                          "loc": {
                            "start": {
                              "line": 65,
                              "column": 20
                            },
                            "end": {
                              "line": 65,
                              "column": 21
                            }
                          }
                        },
                        "typeAnnotation": {
                          "type": "TSNumberKeyword",
                          "loc": {
                            "start": {
                              "line": 65,
                              "column": 23
                            },
                            "end": {
                              "line": 65,
                              "column": 29
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 65,
                            "column": 20
                          },
                          "end": {
                            "line": 65,
                            "column": 30
                          }
                        }
                      },
                      {
                        "type": "TSPropertySignature",
                        "computed": false,
                        "optional": false,
                        "readonly": false,
                        "key": {
                          "type": "Identifier",
                          "name": "b",
                          "loc": {
                            "start": {
                              "line": 65,
                              "column": 31
                            },
                            "end": {
                              "line": 65,
                              "column": 32
                            }
                          }
                        },
                        "typeAnnotation": {
                          "type": "TSStringKeyword",
                          "loc": {
                            "start": {
                              "line": 65,
                              "column": 34
                            },
                            "end": {
                              "line": 65,
                              "column": 40
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 65,
                            "column": 31
                          },
                          "end": {
                            "line": 65,
                            "column": 42
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 65,
                        "column": 18
                      },
                      "end": {
                        "line": 65,
                        "column": 42
                      }
                    }
                  },
                  {
                    "type": "TSTupleType",
                    "elementTypes": [
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 65,
                            "column": 45
                          },
                          "end": {
                            "line": 65,
                            "column": 51
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 65,
                            "column": 53
                          },
                          "end": {
                            "line": 65,
                            "column": 59
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 65,
                        "column": 44
                      },
                      "end": {
                        "line": 65,
                        "column": 60
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 65,
                    "column": 8
                  },
                  "end": {
                    "line": 65,
                    "column": 61
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 65,
                  "column": 8
                },
                "end": {
                  "line": 65,
                  "column": 9
                }
              }
            },
            "loc": {
              "start": {
                "line": 65,
                "column": 5
              },
              "end": {
                "line": 65,
                "column": 6
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 65,
              "column": 5
            },
            "end": {
              "line": 65,
              "column": 6
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 65,
          "column": 1
        },
        "end": {
          "line": 65,
          "column": 62
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "e",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 66,
                    "column": 8
                  },
                  "end": {
                    "line": 66,
                    "column": 9
                  }
                }
              },
              "typeParameters": {
                "type": "TSTypeParameterInstantiation",
                "params": [
                  {
                    "type": "TSFunctionType",
                    "params": [],
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "A",
                            "loc": {
                              "start": {
                                "line": 66,
                                "column": 11
                              },
                              "end": {
                                "line": 66,
                                "column": 12
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 66,
                              "column": 11
                            },
                            "end": {
                              "line": 66,
                              "column": 13
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 66,
                          "column": 10
                        },
                        "end": {
                          "line": 66,
                          "column": 13
                        }
                      }
                    },
                    "returnType": {
                      "type": "TSTypeLiteral",
                      "members": [],
                      "loc": {
                        "start": {
                          "line": 66,
                          "column": 19
                        },
                        "end": {
                          "line": 66,
                          "column": 21
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 66,
                        "column": 10
                      },
                      "end": {
                        "line": 66,
                        "column": 21
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 66,
                    "column": 8
                  },
                  "end": {
                    "line": 66,
                    "column": 22
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 66,
                  "column": 8
                },
                "end": {
                  "line": 66,
                  "column": 9
                }
              }
            },
            "loc": {
              "start": {
                "line": 66,
                "column": 5
              },
              "end": {
                "line": 66,
                "column": 6
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 66,
              "column": 5
            },
            "end": {
              "line": 66,
              "column": 6
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 66,
          "column": 1
        },
        "end": {
          "line": 66,
          "column": 23
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "E",
        "loc": {
          "start": {
            "line": 68,
            "column": 6
          },
          "end": {
            "line": 68,
            "column": 7
          }
        }
      },
      "typeAnnotation": {
        "type": "TSUnionType",
        "types": [
          {
            "type": "TSNumberKeyword",
            "loc": {
              "start": {
                "line": 68,
                "column": 38
              },
              "end": {
                "line": 68,
                "column": 44
              }
            }
          },
          {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 68,
                  "column": 47
                },
                "end": {
                  "line": 68,
                  "column": 48
                }
              }
            },
            "loc": {
              "start": {
                "line": 68,
                "column": 47
              },
              "end": {
                "line": 68,
                "column": 48
              }
            }
          },
          {
            "type": "TSStringKeyword",
            "loc": {
              "start": {
                "line": 68,
                "column": 51
              },
              "end": {
                "line": 68,
                "column": 57
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 68,
            "column": 38
          },
          "end": {
            "line": 68,
            "column": 57
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "R",
              "loc": {
                "start": {
                  "line": 68,
                  "column": 8
                },
                "end": {
                  "line": 68,
                  "column": 9
                }
              }
            },
            "constraint": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "B",
                "loc": {
                  "start": {
                    "line": 68,
                    "column": 18
                  },
                  "end": {
                    "line": 68,
                    "column": 19
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 68,
                  "column": 18
                },
                "end": {
                  "line": 68,
                  "column": 19
                }
              }
            },
            "loc": {
              "start": {
                "line": 68,
                "column": 8
              },
              "end": {
                "line": 68,
                "column": 20
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "C",
              "loc": {
                "start": {
                  "line": 68,
                  "column": 21
                },
                "end": {
                  "line": 68,
                  "column": 22
                }
              }
            },
            "loc": {
              "start": {
                "line": 68,
                "column": 21
              },
              "end": {
                "line": 68,
                "column": 23
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 68,
                  "column": 24
                },
                "end": {
                  "line": 68,
                  "column": 25
                }
              }
            },
            "default": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 68,
                  "column": 28
                },
                "end": {
                  "line": 68,
                  "column": 34
                }
              }
            },
            "loc": {
              "start": {
                "line": 68,
                "column": 24
              },
              "end": {
                "line": 68,
                "column": 35
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 68,
            "column": 7
          },
          "end": {
            "line": 68,
            "column": 35
          }
        }
      },
      "loc": {
        "start": {
          "line": 68,
          "column": 1
        },
        "end": {
          "line": 68,
          "column": 58
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "P",
        "loc": {
          "start": {
            "line": 69,
            "column": 6
          },
          "end": {
            "line": 69,
            "column": 7
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeLiteral",
        "members": [
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "a",
              "loc": {
                "start": {
                  "line": 69,
                  "column": 52
                },
                "end": {
                  "line": 69,
                  "column": 53
                }
              }
            },
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "K",
                "loc": {
                  "start": {
                    "line": 69,
                    "column": 54
                  },
                  "end": {
                    "line": 69,
                    "column": 55
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 69,
                  "column": 54
                },
                "end": {
                  "line": 69,
                  "column": 55
                }
              }
            },
            "loc": {
              "start": {
                "line": 69,
                "column": 52
              },
              "end": {
                "line": 69,
                "column": 56
              }
            }
          },
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "b",
              "loc": {
                "start": {
                  "line": 69,
                  "column": 57
                },
                "end": {
                  "line": 69,
                  "column": 58
                }
              }
            },
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "Q",
                "loc": {
                  "start": {
                    "line": 69,
                    "column": 59
                  },
                  "end": {
                    "line": 69,
                    "column": 60
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 69,
                  "column": 59
                },
                "end": {
                  "line": 69,
                  "column": 60
                }
              }
            },
            "loc": {
              "start": {
                "line": 69,
                "column": 57
              },
              "end": {
                "line": 69,
                "column": 61
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 69,
            "column": 51
          },
          "end": {
            "line": 69,
            "column": 61
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "K",
              "loc": {
                "start": {
                  "line": 69,
                  "column": 8
                },
                "end": {
                  "line": 69,
                  "column": 9
                }
              }
            },
            "loc": {
              "start": {
                "line": 69,
                "column": 8
              },
              "end": {
                "line": 69,
                "column": 10
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "Q",
              "loc": {
                "start": {
                  "line": 69,
                  "column": 11
                },
                "end": {
                  "line": 69,
                  "column": 12
                }
              }
            },
            "default": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSTupleType",
                  "elementTypes": [
                    {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 69,
                          "column": 16
                        },
                        "end": {
                          "line": 69,
                          "column": 22
                        }
                      }
                    },
                    {
                      "type": "TSNumberKeyword",
                      "loc": {
                        "start": {
                          "line": 69,
                          "column": 24
                        },
                        "end": {
                          "line": 69,
                          "column": 30
                        }
                      }
                    },
                    {
                      "type": "TSStringKeyword",
                      "loc": {
                        "start": {
                          "line": 69,
                          "column": 32
                        },
                        "end": {
                          "line": 69,
                          "column": 38
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 69,
                      "column": 15
                    },
                    "end": {
                      "line": 69,
                      "column": 39
                    }
                  }
                },
                {
                  "type": "TSArrayType",
                  "elementType": {
                    "type": "TSAnyKeyword",
                    "loc": {
                      "start": {
                        "line": 69,
                        "column": 42
                      },
                      "end": {
                        "line": 69,
                        "column": 45
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 69,
                      "column": 42
                    },
                    "end": {
                      "line": 69,
                      "column": 47
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 69,
                  "column": 15
                },
                "end": {
                  "line": 69,
                  "column": 47
                }
              }
            },
            "loc": {
              "start": {
                "line": 69,
                "column": 11
              },
              "end": {
                "line": 69,
                "column": 48
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 69,
            "column": 7
          },
          "end": {
            "line": 69,
            "column": 48
          }
        }
      },
      "loc": {
        "start": {
          "line": 69,
          "column": 1
        },
        "end": {
          "line": 69,
          "column": 62
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "CallExpression",
        "callee": {
          "type": "Identifier",
          "name": "async",
          "loc": {
            "start": {
              "line": 71,
              "column": 1
            },
            "end": {
              "line": 71,
              "column": 6
            }
          }
        },
        "arguments": [],
        "optional": false,
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSFunctionType",
              "params": [],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "A",
                      "loc": {
                        "start": {
                          "line": 71,
                          "column": 8
                        },
                        "end": {
                          "line": 71,
                          "column": 9
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 71,
                        "column": 8
                      },
                      "end": {
                        "line": 71,
                        "column": 10
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 71,
                    "column": 7
                  },
                  "end": {
                    "line": 71,
                    "column": 10
                  }
                }
              },
              "returnType": {
                "type": "TSTypeLiteral",
                "members": [],
                "loc": {
                  "start": {
                    "line": 71,
                    "column": 16
                  },
                  "end": {
                    "line": 71,
                    "column": 18
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 71,
                  "column": 7
                },
                "end": {
                  "line": 71,
                  "column": 18
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 71,
              "column": 6
            },
            "end": {
              "line": 71,
              "column": 19
            }
          }
        },
        "loc": {
          "start": {
            "line": 71,
            "column": 1
          },
          "end": {
            "line": 71,
            "column": 21
          }
        }
      },
      "loc": {
        "start": {
          "line": 71,
          "column": 1
        },
        "end": {
          "line": 71,
          "column": 22
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "CallExpression",
        "callee": {
          "type": "Identifier",
          "name": "async",
          "loc": {
            "start": {
              "line": 72,
              "column": 1
            },
            "end": {
              "line": 72,
              "column": 6
            }
          }
        },
        "arguments": [],
        "optional": false,
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 72,
                  "column": 7
                },
                "end": {
                  "line": 72,
                  "column": 13
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 72,
              "column": 6
            },
            "end": {
              "line": 72,
              "column": 14
            }
          }
        },
        "loc": {
          "start": {
            "line": 72,
            "column": 1
          },
          "end": {
            "line": 72,
            "column": 16
          }
        }
      },
      "loc": {
        "start": {
          "line": 72,
          "column": 1
        },
        "end": {
          "line": 72,
          "column": 17
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "ArrowFunctionExpression",
        "function": {
          "type": "ScriptFunction",
          "id": null,
          "generator": false,
          "async": false,
          "expression": true,
          "params": [],
          "returnType": {
            "type": "TSNumberKeyword",
            "loc": {
              "start": {
                "line": 73,
                "column": 17
              },
              "end": {
                "line": 73,
                "column": 23
              }
            }
          },
          "typeParameters": {
            "type": "TSTypeParameterDeclaration",
            "params": [
              {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "A",
                  "loc": {
                    "start": {
                      "line": 73,
                      "column": 2
                    },
                    "end": {
                      "line": 73,
                      "column": 3
                    }
                  }
                },
                "constraint": {
                  "type": "TSTypeReference",
                  "typeName": {
                    "type": "Identifier",
                    "name": "B",
                    "loc": {
                      "start": {
                        "line": 73,
                        "column": 12
                      },
                      "end": {
                        "line": 73,
                        "column": 13
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 73,
                      "column": 12
                    },
                    "end": {
                      "line": 73,
                      "column": 13
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 73,
                    "column": 2
                  },
                  "end": {
                    "line": 73,
                    "column": 14
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 73,
                "column": 1
              },
              "end": {
                "line": 73,
                "column": 14
              }
            }
          },
          "body": {
            "type": "BooleanLiteral",
            "value": true,
            "loc": {
              "start": {
                "line": 73,
                "column": 27
              },
              "end": {
                "line": 73,
                "column": 31
              }
            }
          },
          "loc": {
            "start": {
              "line": 73,
              "column": 1
            },
            "end": {
              "line": 73,
              "column": 31
            }
          }
        },
        "loc": {
          "start": {
            "line": 73,
            "column": 1
          },
          "end": {
            "line": 73,
            "column": 31
          }
        }
      },
      "loc": {
        "start": {
          "line": 73,
          "column": 1
        },
        "end": {
          "line": 73,
          "column": 32
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "ArrowFunctionExpression",
        "function": {
          "type": "ScriptFunction",
          "id": null,
          "generator": false,
          "async": true,
          "expression": false,
          "params": [],
          "typeParameters": {
            "type": "TSTypeParameterDeclaration",
            "params": [
              {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "A",
                  "loc": {
                    "start": {
                      "line": 74,
                      "column": 7
                    },
                    "end": {
                      "line": 74,
                      "column": 8
                    }
                  }
                },
                "constraint": {
                  "type": "TSTypeOperator",
                  "operator": "readonly",
                  "typeAnnotation": {
                    "type": "TSTupleType",
                    "elementTypes": [
                      {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 74,
                            "column": 27
                          },
                          "end": {
                            "line": 74,
                            "column": 33
                          }
                        }
                      },
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 74,
                            "column": 35
                          },
                          "end": {
                            "line": 74,
                            "column": 41
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 74,
                        "column": 26
                      },
                      "end": {
                        "line": 74,
                        "column": 42
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 74,
                      "column": 17
                    },
                    "end": {
                      "line": 74,
                      "column": 42
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 74,
                    "column": 7
                  },
                  "end": {
                    "line": 74,
                    "column": 43
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 74,
                "column": 6
              },
              "end": {
                "line": 74,
                "column": 43
              }
            }
          },
          "body": {
            "type": "BlockStatement",
            "statements": [
              {
                "type": "ReturnStatement",
                "argument": {
                  "type": "StringLiteral",
                  "value": "foo",
                  "loc": {
                    "start": {
                      "line": 74,
                      "column": 57
                    },
                    "end": {
                      "line": 74,
                      "column": 62
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 74,
                    "column": 50
                  },
                  "end": {
                    "line": 74,
                    "column": 63
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 74,
                "column": 49
              },
              "end": {
                "line": 74,
                "column": 64
              }
            }
          },
          "loc": {
            "start": {
              "line": 74,
              "column": 1
            },
            "end": {
              "line": 74,
              "column": 64
            }
          }
        },
        "loc": {
          "start": {
            "line": 74,
            "column": 1
          },
          "end": {
            "line": 74,
            "column": 64
          }
        }
      },
      "loc": {
        "start": {
          "line": 74,
          "column": 1
        },
        "end": {
          "line": 74,
          "column": 65
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 74,
      "column": 65
    }
  }
}