Microsoft/TypeScript

Regression: incorrect return type when disabled strictNullChecks

Open

#60.187 aperta il 10 ott 2024

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)TypeScript (6726 fork)batch import
Domain: check: Type InferenceHelp WantedPossible Improvement

Metriche repository

Star
 (48.455 star)
Metriche merge PR
 (Merge medio 6g 17h) (9 PR mergiate in 30 g)

Descrizione

🔎 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

Guida contributor

Direzione di ricerca
Indaga la modifica tra TypeScript 5.6.3 e 5.7.0 beta che ha introdotto questa regressione. Concentrati sul comportamento di inferenza del tipo di ritorno quando strictNullChecks è disabilitato. Il link al playground fornisce una riproduzione minima. Esamina la logica di inferenza del tipo per array flatMap e l'interazione con i tipi nullish. Controlla i commit recenti relativi a strictNullChecks o ai controlli delle annotazioni del tipo di ritorno.
Tech stack
typescript
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
TypeScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60