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

还没有人认领这个 Issue。

### 🔎 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

```ts
const test: Promise = 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` is not assignable to type `Promise`. Type `number` is not assignable to type `string`.

### Additional information about the issue

_No response_

在链接的 TypeScript Playground 中重现报告的示例，将当前行为与 issue 中描述的 TypeScript 3.3.3 结果进行比较。跟踪不带参数调用的 Promise.then 的类型检查路径；完成标准是显式的 Promise 赋值报告与 Promise 不匹配。

由索引模型根据 Issue 内容生成。