{
"type": "Program",
"statements": [
{
"type": "FunctionDeclaration",
"function": {
"type": "ScriptFunction",
"id": {
"type": "Identifier",
"name": "func1",
"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",
"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"
}
}
},
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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"
}
}
},
"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"
}
}
},
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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"
}
}
},
"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"
}
}
},
"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,
"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"
}
}
},
"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"
}
}
},
"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",
"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",
"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",
"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",
"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"
}
}
},
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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": [],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": null
},
"end": {
"line": 1,
"column": 1,
"program": null
}
}
},
"body": [
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "a",
"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",
"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",
"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": [],
"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",
"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",
"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"
}
}
},
"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"
}
}
},
"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": [],
"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": 51,
"column": 2,
"program": "test_generic.ts"
}
}
},
"loc": {
"start": {
"line": 48,
"column": 1,
"program": "test_generic.ts"
},
"end": {
"line": 51,
"column": 2,
"program": "test_generic.ts"
}
}
},
{
"type": "ClassDeclaration",
"definition": {
"id": {
"type": "Identifier",
"name": "W",
"loc": {
"start": {
"line": 53,
"column": 7,
"program": "test_generic.ts"
},
"end": {
"line": 53,
"column": 8,
"program": "test_generic.ts"
}
}
},
"superClass": {
"type": "Identifier",
"name": "T",
"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",
"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",
"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",
"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",
"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": [],
"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": 55,
"column": 2,
"program": "test_generic.ts"
}
}
},
"loc": {
"start": {
"line": 53,
"column": 1,
"program": "test_generic.ts"
},
"end": {
"line": 55,
"column": 2,
"program": "test_generic.ts"
}
}
},
{
"type": "ClassDeclaration",
"definition": {
"id": {
"type": "Identifier",
"name": "X",
"loc": {
"start": {
"line": 57,
"column": 7,
"program": "test_generic.ts"
},
"end": {
"line": 57,
"column": 8,
"program": "test_generic.ts"
}
}
},
"superClass": {
"type": "Identifier",
"name": "Q",
"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",
"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"
}
}
},
"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"
}
}
},
"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",
"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",
"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",
"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",
"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",
"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": [],
"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": 59,
"column": 2,
"program": "test_generic.ts"
}
}
},
"loc": {
"start": {
"line": 57,
"column": 1,
"program": "test_generic.ts"
},
"end": {
"line": 59,
"column": 2,
"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",
"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",
"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"
}
}
},
"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"
}
}
},
"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",
"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",
"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",
"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",
"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"
}
}
},
"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",
"loc": {
"start": {
"line": 64,
"column": 8,
"program": "test_generic.ts"
},
"end": {
"line": 64,
"column": 9,
"program": "test_generic.ts"
}
}
},
"right": {
"type": "Identifier",
"name": "T",
"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": 11,
"program": "test_generic.ts"
}
}
},
"typeParameters": {
"type": "TSTypeParameterInstantiation",
"params": [
{
"type": "TSTypeReference",
"typeName": {
"type": "Identifier",
"name": "A",
"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",
"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"
}
}
},
"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",
"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",
"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",
"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"
}
}
},
"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",
"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",
"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"
}
}
},
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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",
"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"
}
}
}