microsoft / microsoft/TypeScript

Broken inference for generic classes passed to a generic function taking an optional class

未关闭
#61,633 4 条评论 0 个 reaction 已指派 1 人 已被 @ahejlsberg 认领 在 GitHub 查看
Needs Investigation
主要语言
Go
星标
111k
派生
14.3k
平均合并
2 天 4 小时
30 天内合并 PR
132

描述

### 🔎 Search Terms

class inference, optional class, broken inference

### 🕗 Version & Regression Information

This changed in PR https://github.com/microsoft/TypeScript/pull/31116

However, this was the first time that there was even a distinction between a generic and non-generic class during inference to my knowledge. This likely means this has existed ever since the ability to infer a generic class has existed.

### ⏯ Playground Link

https://www.typescriptlang.org/play/?#code/C4TwDgpgBAggdiAwgezgZ2AJwK4GNjKZQC8UcEA7lABQB09AhpgOZoBcUDCA2gLoCUJAHxRkAIwBWEfAG4AUHIBm2OPgCWqKACUIcACYRMAMQA2DVgFk1ADzVwAPACEGaCIjNo0UCNeC69XvBIqBg4+IRQAD5QKgaKdhB6JDH6EPHkekLUclC5UM6uAPwcBW4eaAA0coIA3gC+8nK45VAocMAMCZj2ACoi9Qo6qcZmljZ21G0dXfxyAPRzeUvLeQB6sCzYALa6wKKKUKCQUADkRxDIB1Od5JgnUGpecMh7LmhqzHAMYibQBFBgJgMHZ+IiXQ7gaAnWJpBJ6E60IA

### 💻 Code

```ts
type AnyConstructor = new (...args: any[]) => object;

function RenderFlagsMixin(
Base?: BaseClass,
) {};

class Container {}
// ^ Only happens when the class is generic.

RenderFlagsMixin(Container)
// ^ Argument of type 'typeof Container' is not assignable to parameter of type 'undefined'.
```

### 🙁 Actual behavior

`BaseClass` is inferred as `undefined` despite the call being the value `Container`.

### 🙂 Expected behavior

`BaseClass` should be inferred as `typeof Container`.

### Additional information about the issue

_No response_

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。