microsoft / microsoft/TypeScript
Instantiation expressions should filter overloads by type parameter constraints
- Lingua principale
- Go
- Stelle
- 111k
- Fork
- 14.3k
- Merge medio
- 2g 4h
- PR unite (30g)
- 132
Descrizione
### 🔎 Search Terms
call signature constructor signature type parameter
### 🕗 Version & Regression Information
Tested in `v4.7.4`, `v5.9.3` and `Nightly` (`v6.0.0-dev.20260204`)
Syntax error before `v4.7.4`
### ⏯ Playground Link
https://www.typescriptlang.org/play/?ts=5.9.3#code/LAKAJgpgxgNghgJwgAigewHYGcAuyBmAXMgN6jIXIA8AKgHwAUAHsTQJSsDc5lGEA7rWQQmOCBjBZkaAEYAraDkYtk7LqAC+3EKHTY8cZAF4CVEshnEAjMg11tAegeVkAPQD8oXZlwXjpq3tQJxcPYOcaAE8ABxQAcgwAVwBbGQgEOOQwNAgpDDQ8LDgcAEssfEjkHAALFD1cBDgSjDw42QUoHDigA
### 💻 Code
```ts
declare const f: {
(x: T): T;
new(x: T): T;
};
const a = f<{ b: 1 }>;
// ^? const a: { (x: { b: 1; }): { b: 1; }; new (x: { b: 1; }): { b: 1; }; }
const b = f<1>;
// ^? const b: { (x: 1): 1; new (x: T): T; }
// Type 'number' does not satisfy the constraint 'object'
```
### 🙁 Actual behavior
The type argument I pass to the object must met the requirements of both signatures
### 🙂 Expected behavior
The incompatible signature should just be filtered out, leaving only the compatible one
```ts
const b = f<1>;
// ^? const b: (x: number) => number
```
### Additional information about the issue
_No response_
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.