support match for type infer

Search Terms

Suggestion

As a suggestion, there is any plans to support match keyword in type inference to simplify the type destruction and T extends P test and make code more expressive.
Support match in type inference.

Use Cases

type Infer<T> = match T {
  { prop: infer P } => P
  [infer P] => P
  _ => never // default
}

The above is equal to:

type Infer<T> = T extends { prop: infer P }
  ? P
  : T extends [infer P]
    ? P
    : never

## Checklist

My suggestion meets these guidelines:

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

El issue no menciona archivos, tests ni puntos de entrada. Empieza comparando la inferencia de tipos basada en match propuesta con los ejemplos de tipos condicionales de la descripción; se considera hecho cuando la sintaxis, el comportamiento de inferencia y el caso predeterminado tengan un diseño acordado y un plan de implementación correspondiente.