"Infer types from usage" not consider js object initializer

Ouverte

#37,099 ouverte le 28/2/2020 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Experience Enhancement Suggestion

Langage dominant: Go
Étoiles: 111k
Forks: 14.4k
Merge moyen: 1 j 19 h
PR mergées (30 j): 117

Description

TypeScript Version: Nightly
Search Terms: infer types from usage
Code

function foo(/*infer parameters from usage 'here'*/x) {
	let obj1: { a: string } = { a: '' }
	obj1.a = x;
	let obj2: { a: boolean } = { a: true };
	obj2.a = x;
	bar({ a: x });
}

function bar(obj: { a: object }) {
}

Expected behavior:
foo become to foo(x: string|boolean|object)
Actual behavior:
foo become to foo(x: string|boolean)
Playground Link: Playground

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 la reproduction liée dans TypeScript Playground et comparez le type inféré de foo à la signature attendue. Suivez la manière dont l’inférence d’utilisation traite obj1.a = x, obj2.a = x et bar({ a: x }) ; la correction est terminée lorsque l’utilisation du littéral d’objet contribue object à l’union inférée.

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é: 3/5
Temps estimé: 1-2 jours
Activité: À l'abandon
Clarté: Plutôt claire
Accessibilité débutants: 35/100