{ "type": "Program", "statements": [ { "type": "TSInterfaceDeclaration", "body": { "type": "TSInterfaceBody", "body": [ { "type": "TSPropertySignature", "computed": false, "optional": false, "readonly": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 18, "column": 5 }, "end": { "line": 18, "column": 6 } } }, "typeAnnotation": { "type": "TSNumberKeyword", "loc": { "start": { "line": 18, "column": 8 }, "end": { "line": 18, "column": 14 } } }, "loc": { "start": { "line": 18, "column": 5 }, "end": { "line": 18, "column": 15 } } } ], "loc": { "start": { "line": 17, "column": 14 }, "end": { "line": 19, "column": 2 } } }, "id": { "type": "Identifier", "name": "I1", "loc": { "start": { "line": 17, "column": 11 }, "end": { "line": 17, "column": 13 } } }, "extends": [], "loc": { "start": { "line": 17, "column": 1 }, "end": { "line": 19, "column": 2 } } }, { "type": "TSTypeAliasDeclaration", "id": { "type": "Identifier", "name": "T1", "loc": { "start": { "line": 21, "column": 6 }, "end": { "line": 21, "column": 8 } } }, "typeAnnotation": { "type": "TSTypeLiteral", "members": [ { "type": "TSPropertySignature", "computed": false, "optional": false, "readonly": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 22, "column": 5 }, "end": { "line": 22, "column": 6 } } }, "typeAnnotation": { "type": "TSUnionType", "types": [ { "type": "TSLiteralType", "literal": { "type": "StringLiteral", "value": "a", "loc": { "start": { "line": 22, "column": 8 }, "end": { "line": 22, "column": 11 } } }, "loc": { "start": { "line": 22, "column": 8 }, "end": { "line": 22, "column": 11 } } }, { "type": "TSLiteralType", "literal": { "type": "StringLiteral", "value": "b", "loc": { "start": { "line": 22, "column": 14 }, "end": { "line": 22, "column": 17 } } }, "loc": { "start": { "line": 22, "column": 14 }, "end": { "line": 22, "column": 17 } } } ], "loc": { "start": { "line": 22, "column": 8 }, "end": { "line": 22, "column": 17 } } }, "loc": { "start": { "line": 22, "column": 5 }, "end": { "line": 22, "column": 18 } } } ], "loc": { "start": { "line": 21, "column": 11 }, "end": { "line": 23, "column": 2 } } }, "loc": { "start": { "line": 21, "column": 1 }, "end": { "line": 25, "column": 5 } } }, { "type": "TSTypeAliasDeclaration", "id": { "type": "Identifier", "name": "T2", "loc": { "start": { "line": 25, "column": 6 }, "end": { "line": 25, "column": 8 } } }, "typeAnnotation": { "type": "TSFunctionType", "params": [ { "type": "Identifier", "name": "x", "typeAnnotation": { "type": "TSStringKeyword", "loc": { "start": { "line": 25, "column": 15 }, "end": { "line": 25, "column": 21 } } }, "loc": { "start": { "line": 25, "column": 12 }, "end": { "line": 25, "column": 13 } } } ], "returnType": { "type": "TSVoidKeyword", "loc": { "start": { "line": 25, "column": 26 }, "end": { "line": 25, "column": 30 } } }, "loc": { "start": { "line": 25, "column": 11 }, "end": { "line": 25, "column": 30 } } }, "loc": { "start": { "line": 25, "column": 1 }, "end": { "line": 25, "column": 31 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t1", "loc": { "start": { "line": 27, "column": 7 }, "end": { "line": 27, "column": 9 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ObjectExpression", "properties": [ { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 27, "column": 14 }, "end": { "line": 27, "column": 15 } } }, "value": { "type": "NumberLiteral", "value": 1, "loc": { "start": { "line": 27, "column": 17 }, "end": { "line": 27, "column": 18 } } }, "kind": "init", "loc": { "start": { "line": 27, "column": 14 }, "end": { "line": 27, "column": 18 } } } ], "loc": { "start": { "line": 27, "column": 12 }, "end": { "line": 27, "column": 20 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "I1", "loc": { "start": { "line": 27, "column": 31 }, "end": { "line": 27, "column": 33 } } }, "loc": { "start": { "line": 27, "column": 31 }, "end": { "line": 27, "column": 33 } } }, "loc": { "start": { "line": 27, "column": 12 }, "end": { "line": 27, "column": 34 } } }, "loc": { "start": { "line": 27, "column": 7 }, "end": { "line": 27, "column": 34 } } } ], "kind": "const", "loc": { "start": { "line": 27, "column": 1 }, "end": { "line": 27, "column": 34 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t2", "loc": { "start": { "line": 28, "column": 7 }, "end": { "line": 28, "column": 9 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ObjectExpression", "properties": [ { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 28, "column": 14 }, "end": { "line": 28, "column": 15 } } }, "value": { "type": "NumberLiteral", "value": 1, "loc": { "start": { "line": 28, "column": 17 }, "end": { "line": 28, "column": 18 } } }, "kind": "init", "loc": { "start": { "line": 28, "column": 14 }, "end": { "line": 28, "column": 18 } } }, { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "b", "loc": { "start": { "line": 28, "column": 20 }, "end": { "line": 28, "column": 21 } } }, "value": { "type": "NumberLiteral", "value": 1, "loc": { "start": { "line": 28, "column": 23 }, "end": { "line": 28, "column": 24 } } }, "kind": "init", "loc": { "start": { "line": 28, "column": 20 }, "end": { "line": 28, "column": 24 } } } ], "loc": { "start": { "line": 28, "column": 12 }, "end": { "line": 28, "column": 26 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "I1", "loc": { "start": { "line": 28, "column": 37 }, "end": { "line": 28, "column": 39 } } }, "loc": { "start": { "line": 28, "column": 37 }, "end": { "line": 28, "column": 39 } } }, "loc": { "start": { "line": 28, "column": 12 }, "end": { "line": 28, "column": 40 } } }, "loc": { "start": { "line": 28, "column": 7 }, "end": { "line": 28, "column": 40 } } } ], "kind": "const", "loc": { "start": { "line": 28, "column": 1 }, "end": { "line": 28, "column": 40 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t3", "loc": { "start": { "line": 29, "column": 7 }, "end": { "line": 29, "column": 9 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ObjectExpression", "properties": [], "loc": { "start": { "line": 29, "column": 12 }, "end": { "line": 29, "column": 15 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "I1", "loc": { "start": { "line": 29, "column": 26 }, "end": { "line": 29, "column": 28 } } }, "loc": { "start": { "line": 29, "column": 26 }, "end": { "line": 29, "column": 28 } } }, "loc": { "start": { "line": 29, "column": 12 }, "end": { "line": 29, "column": 29 } } }, "loc": { "start": { "line": 29, "column": 7 }, "end": { "line": 29, "column": 29 } } } ], "kind": "const", "loc": { "start": { "line": 29, "column": 1 }, "end": { "line": 29, "column": 29 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t4", "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "T1", "loc": { "start": { "line": 31, "column": 11 }, "end": { "line": 31, "column": 13 } } }, "loc": { "start": { "line": 31, "column": 11 }, "end": { "line": 31, "column": 13 } } }, "loc": { "start": { "line": 31, "column": 7 }, "end": { "line": 31, "column": 9 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ObjectExpression", "properties": [ { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 31, "column": 18 }, "end": { "line": 31, "column": 19 } } }, "value": { "type": "StringLiteral", "value": "a", "loc": { "start": { "line": 31, "column": 21 }, "end": { "line": 31, "column": 24 } } }, "kind": "init", "loc": { "start": { "line": 31, "column": 18 }, "end": { "line": 31, "column": 24 } } } ], "loc": { "start": { "line": 31, "column": 16 }, "end": { "line": 31, "column": 26 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "T1", "loc": { "start": { "line": 31, "column": 37 }, "end": { "line": 31, "column": 39 } } }, "loc": { "start": { "line": 31, "column": 37 }, "end": { "line": 31, "column": 39 } } }, "loc": { "start": { "line": 31, "column": 16 }, "end": { "line": 31, "column": 40 } } }, "loc": { "start": { "line": 31, "column": 7 }, "end": { "line": 31, "column": 40 } } } ], "kind": "const", "loc": { "start": { "line": 31, "column": 1 }, "end": { "line": 31, "column": 40 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t5", "loc": { "start": { "line": 32, "column": 7 }, "end": { "line": 32, "column": 9 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ArrowFunctionExpression", "function": { "type": "ScriptFunction", "id": null, "generator": false, "async": false, "expression": true, "params": [ { "type": "Identifier", "name": "m", "loc": { "start": { "line": 32, "column": 13 }, "end": { "line": 32, "column": 14 } } } ], "body": { "type": "CallExpression", "callee": { "type": "MemberExpression", "object": { "type": "Identifier", "name": "m", "loc": { "start": { "line": 32, "column": 18 }, "end": { "line": 32, "column": 19 } } }, "property": { "type": "Identifier", "name": "substring", "loc": { "start": { "line": 32, "column": 20 }, "end": { "line": 32, "column": 29 } } }, "computed": false, "optional": false, "loc": { "start": { "line": 32, "column": 18 }, "end": { "line": 32, "column": 29 } } }, "arguments": [ { "type": "NumberLiteral", "value": 0, "loc": { "start": { "line": 32, "column": 30 }, "end": { "line": 32, "column": 31 } } } ], "optional": false, "loc": { "start": { "line": 32, "column": 18 }, "end": { "line": 32, "column": 32 } } }, "loc": { "start": { "line": 32, "column": 13 }, "end": { "line": 32, "column": 32 } } }, "loc": { "start": { "line": 32, "column": 12 }, "end": { "line": 32, "column": 33 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "T2", "loc": { "start": { "line": 32, "column": 44 }, "end": { "line": 32, "column": 46 } } }, "loc": { "start": { "line": 32, "column": 44 }, "end": { "line": 32, "column": 46 } } }, "loc": { "start": { "line": 32, "column": 12 }, "end": { "line": 32, "column": 47 } } }, "loc": { "start": { "line": 32, "column": 7 }, "end": { "line": 32, "column": 47 } } } ], "kind": "const", "loc": { "start": { "line": 32, "column": 1 }, "end": { "line": 32, "column": 47 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t6", "loc": { "start": { "line": 34, "column": 7 }, "end": { "line": 34, "column": 9 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ArrayExpression", "elements": [ { "type": "NumberLiteral", "value": 1, "loc": { "start": { "line": 34, "column": 13 }, "end": { "line": 34, "column": 14 } } }, { "type": "NumberLiteral", "value": 2, "loc": { "start": { "line": 34, "column": 16 }, "end": { "line": 34, "column": 17 } } } ], "loc": { "start": { "line": 34, "column": 12 }, "end": { "line": 34, "column": 18 } } }, "typeAnnotation": { "type": "TSTupleType", "elementTypes": [ { "type": "TSNumberKeyword", "loc": { "start": { "line": 34, "column": 30 }, "end": { "line": 34, "column": 36 } } }, { "type": "TSNumberKeyword", "loc": { "start": { "line": 34, "column": 38 }, "end": { "line": 34, "column": 44 } } } ], "loc": { "start": { "line": 34, "column": 29 }, "end": { "line": 34, "column": 45 } } }, "loc": { "start": { "line": 34, "column": 12 }, "end": { "line": 34, "column": 46 } } }, "loc": { "start": { "line": 34, "column": 7 }, "end": { "line": 34, "column": 46 } } } ], "kind": "const", "loc": { "start": { "line": 34, "column": 1 }, "end": { "line": 34, "column": 46 } } }, { "type": "TSInterfaceDeclaration", "body": { "type": "TSInterfaceBody", "body": [ { "type": "TSPropertySignature", "computed": false, "optional": false, "readonly": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 37, "column": 5 }, "end": { "line": 37, "column": 6 } } }, "typeAnnotation": { "type": "TSStringKeyword", "loc": { "start": { "line": 37, "column": 8 }, "end": { "line": 37, "column": 14 } } }, "loc": { "start": { "line": 37, "column": 5 }, "end": { "line": 38, "column": 2 } } } ], "loc": { "start": { "line": 36, "column": 13 }, "end": { "line": 38, "column": 2 } } }, "id": { "type": "Identifier", "name": "A", "loc": { "start": { "line": 36, "column": 11 }, "end": { "line": 36, "column": 12 } } }, "extends": [], "loc": { "start": { "line": 36, "column": 1 }, "end": { "line": 38, "column": 2 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t7", "loc": { "start": { "line": 39, "column": 5 }, "end": { "line": 39, "column": 7 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ObjectExpression", "properties": [ { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 39, "column": 12 }, "end": { "line": 39, "column": 13 } } }, "value": { "type": "StringLiteral", "value": "test", "loc": { "start": { "line": 39, "column": 15 }, "end": { "line": 39, "column": 21 } } }, "kind": "init", "loc": { "start": { "line": 39, "column": 12 }, "end": { "line": 39, "column": 21 } } } ], "loc": { "start": { "line": 39, "column": 10 }, "end": { "line": 39, "column": 23 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "A", "loc": { "start": { "line": 39, "column": 34 }, "end": { "line": 39, "column": 35 } } }, "loc": { "start": { "line": 39, "column": 34 }, "end": { "line": 39, "column": 35 } } }, "loc": { "start": { "line": 39, "column": 10 }, "end": { "line": 39, "column": 36 } } }, "loc": { "start": { "line": 39, "column": 5 }, "end": { "line": 39, "column": 36 } } } ], "kind": "let", "loc": { "start": { "line": 39, "column": 1 }, "end": { "line": 39, "column": 36 } } }, { "type": "VariableDeclaration", "declarations": [ { "type": "VariableDeclarator", "id": { "type": "Identifier", "name": "t8", "loc": { "start": { "line": 40, "column": 5 }, "end": { "line": 40, "column": 7 } } }, "init": { "type": "TSSatisfiesExpression", "expression": { "type": "ObjectExpression", "properties": [ { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "a", "loc": { "start": { "line": 40, "column": 12 }, "end": { "line": 40, "column": 13 } } }, "value": { "type": "StringLiteral", "value": "test", "loc": { "start": { "line": 40, "column": 15 }, "end": { "line": 40, "column": 21 } } }, "kind": "init", "loc": { "start": { "line": 40, "column": 12 }, "end": { "line": 40, "column": 21 } } }, { "type": "Property", "method": false, "shorthand": false, "computed": false, "key": { "type": "Identifier", "name": "b", "loc": { "start": { "line": 40, "column": 23 }, "end": { "line": 40, "column": 24 } } }, "value": { "type": "StringLiteral", "value": "test", "loc": { "start": { "line": 40, "column": 26 }, "end": { "line": 40, "column": 32 } } }, "kind": "init", "loc": { "start": { "line": 40, "column": 23 }, "end": { "line": 40, "column": 32 } } } ], "loc": { "start": { "line": 40, "column": 10 }, "end": { "line": 40, "column": 34 } } }, "typeAnnotation": { "type": "TSTypeReference", "typeName": { "type": "Identifier", "name": "A", "loc": { "start": { "line": 40, "column": 45 }, "end": { "line": 40, "column": 46 } } }, "loc": { "start": { "line": 40, "column": 45 }, "end": { "line": 40, "column": 46 } } }, "loc": { "start": { "line": 40, "column": 10 }, "end": { "line": 40, "column": 47 } } }, "loc": { "start": { "line": 40, "column": 5 }, "end": { "line": 40, "column": 47 } } } ], "kind": "let", "loc": { "start": { "line": 40, "column": 1 }, "end": { "line": 40, "column": 47 } } } ], "loc": { "start": { "line": 1, "column": 1 }, "end": { "line": 40, "column": 47 } } }