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_

Riproduci l’esempio segnalato nel TypeScript Playground collegato e confronta il comportamento attuale con il risultato di TypeScript 3.3.3 descritto nell’issue. Traccia il percorso del controllo dei tipi per Promise.then chiamato senza argomenti; il lavoro è completato quando l’assegnazione esplicita a Promise segnala l’incompatibilità con Promise.

Scritto dal modello di indicizzazione a partire dal testo della issue.