microsoft / microsoft/TypeScript
Generic type can't be assigned to the same DeepReadonly type
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Go
- Estrellas
- 111k
- Forks
- 14.3k
- Merge medio
- 1 d 19 h
- PR fusionados (30 d)
- 117
Descripción
Assigning generic type T to it's deep readonly DeepReadonly<T> cause error however shallow Readonly<T> works fine. Also I found that known types do work well with DeepReadonly .
TypeScript Version: 3.4.0-dev.201xxxxx
Search Terms:
DeepReadonly assign return generic nested readonly
Code
// Simple deep readonly
export type DRO<T> = { readonly [P in keyof T]: DR<T[P]> };
type DR<T> = T extends object ? DRO<T> : T;
// Sample type
interface TMP {
a: number;
b: {
c: boolean;
};
}
// Works fine
const a: TMP = { a: 10, b: { c: false } };
const b: DRO<TMP> = a;
// Doesn't work
class X<T> {
constructor(private readonly t: T) {}
foo(): DRO<T> {
// Error here
return this.t;
}
bar(): Readonly<T> {
// Works fine
return this.t;
}
}
Expected behavior:
Method foo shouldn't have error
Actual behavior:
Error: Type 'T' is not assignable to type 'DRO'.
Related Issues:
Maybe: #12826 and #21919
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 la reproducción en TypeScript Playground y compara su comportamiento con la versión de TypeScript referenciada o con una compilación actual. Investiga la asignación genérica de T a DRO, junto con los casos concretos y Readonly que funcionan. Se considera completado cuando el método genérico foo indicado ya no produce el error especificado sin hacer que fallen los casos existentes.
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
- Bien especificado
- Aptitud para principiantes
- 35/100