microsoft / microsoft/TypeScript
Parameters and readonly tuples
Personne n'a encore pris cette issue.
- Langage dominant
- Go
- Étoiles
- 111k
- Forks
- 14.4k
- Merge moyen
- 1 j 19 h
- PR mergées (30 j)
- 117
Description
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].
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par l’exemple TypeScript Playground lié et reproduisez l’inférence de Parameters pour l’union de tuples readonly. Suivez le traitement des paramètres rest, des tuples union et de Parameters par le compilateur, puis vérifiez que P est inféré comme readonly [number, string] | readonly [string, number] plutôt que comme never.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- typescript
- Domaine
- compilers
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Clairement spécifiée
- Accessibilité débutants
- 35/100