Predicates break arbitrarily when intersected with some types. (Probably when the predicate is generic).

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

interface TruthyPredicate {
    <T>(o: T): o is T & {};
}

interface EmptyInterface {
}

type ConstructorSignagure = {
    new (...args: any[]): any;
};

declare const arr: (string | undefined)[];

declare const predicate1: TruthyPredicate;
const filtered1 = arr.filter(predicate1); // works string[]


declare const predicate2: TruthyPredicate & EmptyInterface;
const filtered2 = arr.filter(predicate2); // doesn't work


declare const predicate3: TruthyPredicate & {} /* Empty object type instead of interface */;
const filtered3 = arr.filter(predicate3); // works string[]


declare const predicate4: TruthyPredicate & ConstructorSignagure;
const filtered4 = arr.filter(predicate4); // doesn't work

Guia do colaborador

Direção de pesquisa

Investigue por que a interseção de um predicado de tipo genérico (ex.: `TruthyPredicate`) com uma interface (ex.: `EmptyInterface`) ou um tipo de assinatura de construção quebra o estreitamento de tipo em `Array.filter`, enquanto a interseção com `{}` funciona. Isso provavelmente envolve como o TypeScript resolve assinaturas de chamada em interseções. Examine o código fonte do compilador TypeScript em `src/compiler/checker.ts` em torno do tratamento de relações de tipo e interseções. Verifique issues ou discussões existentes vinculadas sobre predicados genéricos e interseções.

Pilha de tecnologia

typescript

Domain

tooling

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.

2

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

1-3 horas

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

Recente

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.

75