Add typeChecker API to get the inferred type arguments of call expression

🔍 Search Terms

infer type arguments function call expression

✅ 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 isn't a request to add a new utility type: https://github.com/microsoft/TypeScript/wiki/No-New-Utility-Types
This feature would agree with the rest of our Design Goals: https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals

⭐ Suggestion

interface TypeChecker {
  getTypeArgumentsOfSignature(signature: Signature): readonly Type[];
}

📃 Motivating Example

For the below code, the proposed API is supposed to return [ "text" ] for the Passthrough("text") node.

function Passthrough<T>(value: T) {
  return value;
}

let str = Passthrough("text");

💻 Use Cases

In my own case, I'm writing a TypeScript to C++ compiler and getting the inferred type argument is essential for translating the generic function call to C++.

There are also a few other open source projects getting the information by hacking TypeScript's internals:

https://github.com/GoogleFeud/ts-macros/blob/e65480a7bc54107e935e9a95ecbb4f3825f2d6e2/src/utils.ts#L259-L270

https://github.com/mxsdev/ts-type-explorer/blob/3b0bb21f574ebb0d70aac84c37e81e1df0b1d9e4/packages/api/src/util.ts#L725-L750

https://github.com/johnW-ret/express-openapi-gen/blob/885e498066f51fccaa00615f0b46b070788477c9/src/index.ts#L45C18-L84

We don't have a function for this internally (weird, I know - we always operate over and compose TypeMapper objects, not concrete type arguments), but I think internally to the checker, the implementation is just

function getTypeArgumentsForResolvedSignature(signature: Signature) {
    return instantiateTypes((signature.target || signature).typeParameters, signature.mapper);
}

(so long as you're OK with an unresolved signature returning its' input type parameter list). You can't implement it publicly because .target, .mapper, and instantiateTypes are all internal, but it seems like a reasonable thing to want to know about a resolved signature.

Approved to expose the above function

I have the following use case of the type checker public API. Is that impossible since

You can't implement it publicly because .target, .mapper, and instantiateTypes are all internal

Get the global Iterable type
Instantiate it with any: Iterable<any, any, any>
Compare it with another type via checker.isTypeAssignableTo

I have the following use case of the type checker public API. Is that impossible since

You can't implement it publicly because .target, .mapper, and instantiateTypes are all internal

Get the global Iterable type

Instantiate it with any: Iterable<any, any, any>

Compare it with another type via checker.isTypeAssignableTo

TL; DR:

How can I use TypeScript's type checker API to determine if a ts.Type is iterable (a.k.a. assignable to Iterable<any, any, any>).

Expose method for retrieving inferred generic type arguments for a si…

Navigation Menu

Repository navigation

Add typeChecker API to get the inferred type arguments of call expression #59637

🔍 Search Terms

✅ Viability Checklist

⭐ Suggestion

📃 Motivating Example

💻 Use Cases

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Add typeChecker API to get the inferred type arguments of call expression #59637

Description

🔍 Search Terms

✅ Viability Checklist

⭐ Suggestion

📃 Motivating Example

💻 Use Cases

Activity

weswigham commented on Aug 16, 2024

RyanCavanaugh commented on Aug 16, 2024

Jack-Works commented on Sep 29, 2024

SukkaW commented on Sep 29, 2024

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions