Problem with function types, <T>() => T extends X ? () : ()

Métriques du dépôt

Stars

48 455 stars (48 455 stars)

Métriques de merge PR

Merge moyen 6j 17h (Merge moyen 6j 17h)9 PRs mergées en 30 j (9 PRs mergées en 30 j)

Description

type Fn<X> = <T>() => T extends X ? 1 : 2
type Equals<X, Y> =
  Fn<X> extends
  Fn<Y> ? true : false

type A = Equals<{readonly a: 'A'}, {a: 'A'}>

type Fn1<X> = <T>() => T extends X ? 1 : 2
type Fn2<X> = <T>() => T extends X ? 1 : 2
type Equals<X, Y> =
  Fn1<X> extends
  Fn2<Y> ? true : false

type A = Equals<{readonly a: 'A'}, {a: 'A'}>

Guide contributeur

Direction de recherche

Étudiez l'algorithme d'équivalence de types dans checker.ts de TypeScript, en particulier comment les types conditionnels à l'intérieur des types de fonctions génériques sont comparés. Le problème montre que Equals<{readonly a: 'A'}, {a: 'A'}> renvoie incorrectement true. Examinez la logique de typage structurel pour les types de fonctions avec des contraintes génériques et pourquoi le modificateur readonly est ignoré. Recherchez les problèmes ou tests existants liés à la 'comparaison de types de fonctions' et à 'readonly' dans les types conditionnels.

Stack technique

typescript

Domaine

Aucun

Type d'issue

Bug

DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.

4

Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.

3-5 jours

Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.

Active

ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.

Claire

Prérequis

TypeScriptGit

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

25