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

Métricas do repositório

Stars

48.455 stars (48.455 stars)

Métricas de merge de PR

Mesclagem média 6d 17h (Mesclagem média 6d 17h)9 fundiu PRs em 30d (9 fundiu PRs em 30d)

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'}>

Guia do colaborador

Direção de pesquisa

Investigue o algoritmo de equivalência de tipos no checker.ts do TypeScript, especificamente como os tipos condicionais dentro de tipos de função genéricos são comparados. O problema mostra que Equals<{readonly a: 'A'}, {a: 'A'}> retorna incorretamente true. Examine a lógica de tipagem estrutural para tipos de função com restrições genéricas e por que o modificador readonly é ignorado. Procure por problemas ou testes existentes relacionados a 'comparação de tipos de função' e 'readonly' em tipos condicionais.

Pilha de tecnologia

typescript

Domain

None

Tipo Issue

Bug

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

4

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

3-5 dias

Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.

Ativo

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

Claro

Prerequisites

TypeScriptGit

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

25