Microsoft/TypeScript

Regression: incorrect return type when disabled strictNullChecks

Open

#60.187 aberto em 10 de out. de 2024

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)TypeScript (6.726 forks)batch import
Domain: check: Type InferenceHelp WantedPossible Improvement

Métricas do repositório

Stars
 (48.455 stars)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)

Description

🔎 Search Terms

"ts7011", "strictnullchecks"

🕗 Version & Regression Information

  • This changed between versions 5.6.3 and 5.7.0-beta (also in 5.7.0-dev.20241010)

When disabled strictNullChecks in tsconfig.json error TS7011: Function expression, which lacks return-type annotation, implicitly has an T return type

⏯ Playground Link

https://www.typescriptlang.org/play/?strict=false&strictNullChecks=false&alwaysStrict=false&noEmitHelpers=true&noUnusedLocals=true&esModuleInterop=false&declaration=false&importHelpers=true&experimentalDecorators=true&target=6&module=6&suppressImplicitAnyIndexErrors=true&strictBuiltinIteratorReturn=true&ts=5.7.0-dev.20241010#code/CYUwxgNghgTiAEAzArgOzAFwJYHtXwHcsJgxZgAVHAJRAHMBRADwAcAKAZwC54OMYsqOgEoetRq3gAfeKmQQIAbgBQYPH3gx5IDvAC88ANoByKMYA08YwCNjAXQB0iaBgCyUdlogI9APkLEpORU4sye2sLSMoZ2wopAA

💻 Code

declare function wildcardToRegExp(s: string): RegExp | null;
const rules = ['a', 'b'].flatMap(rule => wildcardToRegExp(rule) || []); // if flatMap<RegExp> - no error

🙁 Actual behavior

TS7011: Function expression, which lacks return-type annotation, implicitly has an 'RegExp | any[]' return type.

🙂 Expected behavior

No error

Additional information about the issue

No response

Guia do colaborador

Direção de pesquisa
Investigue a alteração entre o TypeScript 5.6.3 e o 5.7.0 beta que introduziu essa regressão. Foque no comportamento de inferência do tipo de retorno quando strictNullChecks está desabilitado. O link do playground fornece uma reprodução mínima. Examine a lógica de inferência de tipo para array flatMap e a interação com tipos nullish. Verifique os commits recentes relacionados a strictNullChecks ou verificações de anotação de tipo de retorno.
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
TypeScript
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60