microsoft / microsoft/TypeScript
Inconsistent behavior with Generic ElementType
- Langage dominant
- Go
- Étoiles
- 111k
- Forks
- 14.3k
- Merge moyen
- 2 j 4 h
- PR mergées (30 j)
- 132
Description
### 🔎 Search Terms
JSX, Generic ElementType, TS2786
### 🕗 Version & Regression Information
- Behavior seen in 5.8.3 and 5.9.0-dev.20250703
- I was unable to test this on prior versions
### ⏯ Playground Link
_No response_
### 💻 Code
```ts
export namespace dsl {
export namespace JSX {
export type Element = {
name: U
type: string
children: Element[]
}
[tsconfig.json](https://github.com/user-attachments/files/21047590/tsconfig.json)
export function createElement(
tag: JSX.ElementType,
props : { name: U },
...children: JSX.Element[]
): JSX.Element {
return tag(props, ...children)
}
}
function Form(props: { name: U }, ...children: dsl.JSX.Element[]) {
return { ...props, type: "form", children }
}
const formDesugared = dsl.createElement(
Form, { name: "one" }
)
const form = (
// <--- Error here, error TS2786: 'Form' cannot be used as a JSX component.
)
```
### 🙁 Actual behavior
Compile error:
sui.tsx:31:6 - error TS2786: 'Form' cannot be used as a JSX component.
Its type '(props: { name: U; }, ...children: Element[]) => { type: string; children: Element[]; name: U; }' is not a valid JSX element type.
Types of parameters 'props' and 'props' are incompatible.
Type '{ name: unknown; }' is not assignable to type '{ name: string; }'.
Types of property 'name' are incompatible.
Type 'unknown' is not assignable to type 'string'.
31
### 🙂 Expected behavior
Changing props: { name: U } in the definition of ElementType to props: { name: string } causes the code to compile [loosing the wanted typing of the resulting Element
Since the desugared version of the code compiles and infers types correctly, I'd expect the JSX code to compile, or at least produce a less deeply mysterious error - the type of the 'name' property plainly *isn't* unknown.
### Additional information about the issue
_No response_
Guide de contribution
Ouvrir le guide de contribution
Piste de recherche
Reproduisez l’exemple .tsx avec le tsconfig.json lié dans TypeScript 5.8.3 et dans la version de développement 5.9, en comparant JSX avec dsl.createElement et le diagnostic TS2786. Suivez la manière dont JSX.ElementType vérifie le générique Form ; le travail est terminé lorsque la forme JSX compile de manière cohérente avec l’appel désucré, conserve le typage Element inféré attendu et évite l’erreur trompeuse de nom inconnu.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- typescript
- Domaine
- compilers
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 35/100