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

Personne n'a encore pris cette 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_

Reproduisez l’exemple signalé dans le TypeScript Playground lié et comparez le comportement actuel avec le résultat de TypeScript 3.3.3 décrit dans l’issue. Suivez le chemin de vérification des types pour Promise.then appelé sans arguments ; le travail est terminé lorsque l’affectation explicite à Promise signale l’incompatibilité avec Promise.

Rédigé par le modèle d'indexation à partir du texte de l'issue.