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

```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 の本文から書いたものです。