microsoft / microsoft/TypeScript
Infer type isn't contextual typed by type bounds
Abierto
Nadie ha tomado este issue todavía.
Bug
Domain: Conditional Types
- Lenguaje dominante
- Go
- Estrellas
- 111k
- Forks
- 14.3k
- Merge medio
- 1 d 19 h
- PR fusionados (30 d)
- 117
Descripción
Bug Report
Infer type isn't contextual typed by type bounds
type Foo<T> = T extends string ? Record<T, number> : never;
type Foo2<T extends {a:string}>= T extends {a: infer A} ? Record<A, number>:never; //error here, A should extends string already, but seems not
🔎 Search Terms
generic infer bounds
🕗 Version & Regression Information
4.2.3
⏯ Playground Link
💻 Code
type Foo<T> = T extends string ? Record<T, number> : never;
type Foo2<T extends {a:string}>= T extends {a: infer A} ? Record<A, number>:never; //error here, A should extends string already, but seems not
🙁 Actual behavior
throw error
🙂 Expected behavior
not throw error
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Comienza con el TypeScript Playground enlazado y el ejemplo reducido Foo2 para reproducir el error. El issue no indica ningún archivo fuente ni prueba; rastrea cómo el compilador gestiona los límites de tipo inferidos y, después, verifica que el ejemplo acepta Record<A, number> como se espera y añade cobertura de regresión.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- typescript
- Área
- compilers
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100