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

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