Regression: incorrect return type when disabled strictNullChecks

🔎 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

まず、示されている tsconfig 設定を使用して、リンク先の Playground のケースを TypeScript 5.7 で再現し、その後 5.6.3 と比較します。strictNullChecks を無効にした状態で flatMap コールバックが TS7011 を生成しなくなり、報告されている動作が引き続き正しいことが変更完了の条件です。