Compiler API: allow retrieving Symbols for anonymous function and classes

🔍 Search Terms

"compiler api anonymous"
"anonymous getSymbolAtLocation"

✅ Viability Checklist

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.)
• This feature would agree with the rest of our Design Goals: https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals

⭐ Suggestion

Today when working with AST tree it's convenient to retrieve Symbols of function/classes/variables and use them to represent program "entities". For named function and classes Symbol can be retrieved from a node using typeChecker.getSymbolAtLocation(node.name). Unfortunately for anonymous nodes there doesn't seem to be a way to get Symbol. Even though Symbol is present on the Node object but it's not in public API.

Additionally mentally it's easier to assume that all functions, classes and variables have Symbols.

This is similar to https://github.com/microsoft/TypeScript/issues/26511

Example using ts-ast-viewer:

📃 Motivating Example

No motivating example really. It's pretty niche compiler API improvement that makes working with Compiler more consistent and helps to avoid implementing workarounds.

💻 Use Cases

1. What do you want to use this for?
   It's needed for proper implementation of TS indexer in kythe.io.

2. What shortcomings exist with current approaches?
   Code indexing is built around having Symbols. Places where Symbol is possible to retrieve using public API (e.g. anonymous functions) require hacks or introducing custom symbol-like entity.

3. What workarounds are you using in the meantime?
   Acessing internal Node.symbol property.

Bắt đầu với entry point công khai typeChecker.getSymbolAtLocation và so sánh nó với thuộc tính Node.symbol nội bộ được mô tả trong issue. Xem xét issue liên quan #26511 và xác định dạng API công khai cần thiết cho các hàm và lớp ẩn danh; hoàn tất nghĩa là có thể truy xuất các Symbols của chúng mà không truy cập các thuộc tính nội bộ.