microsoft / microsoft/TypeScript

Parameters and readonly tuples

Abierto
#45,276 2 comentarios 1 reacción 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Bug Domain: check: Type Inference
Lenguaje dominante
Go
Estrellas
111k
Forks
14.4k
Merge medio
1 d 19 h
PR fusionados (30 d)
117

Descripción

Bug Report

I've encountered a wrong type inference regarding the Parameters generic when the rest operator and the union of readonly tuples are used together.

🔎 Search Terms

infer, Parameters, readonly.

🕗 Version & Regression Information

I have only tested this on TypeScript 4.3.5.

⏯ Playground Link

Playground link with relevant code

In this example, P1 is correctly inferred, whereas P2 is not.

💻 Code
type F = (...args: readonly [number, string] | readonly [string, number]) => void;
type P = Parameters<F>;
🙁 Actual behavior

The type P is never.

🙂 Expected behavior

One would expect P to be of type readonly [number, string] | readonly [string, number].

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comience con el ejemplo enlazado de TypeScript Playground y reproduzca la inferencia de Parameters para la unión de tuplas readonly. Rastree cómo el compilador maneja los parámetros rest, las tuplas unión y Parameters, y verifique después que P se infiere como readonly [number, string] | readonly [string, number] en lugar de never.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
typescript
Área
compilers
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Bien especificado
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.