bug(lib): Explicitly stating wrong return type of `Promise.then` without arguments results in no error

🔎 Search Terms

• silenced Promise resolution type mismatch
• Promise generic explicit no error
• no error when Promise type is specified explicitly
• generic inside optional argument

🕗 Version & Regression Information

TS v3.3.3 correctly detects the error, which is the earliest Playground version. All other Playground versions silence the error.

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=6.0.0-dev.20260312#code/MYewdgzgLgBFCm0BcMAKAnEBbAlheAPNOjmAOYB8MAvGprvgHTqIgA2AbvABQCMAlIygALeGG78A3EA

💻 Code

const test: Promise<string> = Promise.resolve(1).then();

🙁 Actual behavior

No TypeScript errors.

🙂 Expected behavior

I expected a similar error to what TS v3.3.3 yields:

Type Promise<number> is not assignable to type Promise<string>. Type number is not assignable to type string.

Additional information about the issue

No response

Tái hiện ví dụ đã được báo cáo trong TypeScript Playground được liên kết, so sánh hành vi hiện tại với kết quả của TypeScript 3.3.3 được mô tả trong issue. Theo dõi đường đi kiểm tra kiểu của Promise.then được gọi mà không có đối số; được coi là hoàn tất khi phép gán tường minh cho Promise báo cáo sự không khớp với Promise.