Microsoft/TypeScript
Vedi su GitHubStrange narrowing when using instanceof on template class with optional field
Open
#49.352 aperta il 2 giu 2022
BugDomain: check: Control FlowHelp Wanted
Metriche repository
- Star
- (48.455 star)
- Metriche merge PR
- (Merge medio 6g 17h) (9 PR mergiate in 30 g)
Descrizione
Bug Report
TypeScript narrows type wrong when using instanceof for generic class with optional field
🔎 Search Terms
typescript instanceof template optional narrowing
🕗 Version & Regression Information
It seems the bug present in all versions: old, actual and nightly
⏯ Playground Link
💻 Code
class E<E> {
e?: E;
}
class A<I> extends E<I>{
field: number = 0;
}
class A1<I> extends A<I> {
field1?: number;
}
class A2<I> extends A<I> {
field1: number = 1;
}
function f<I>(a: A<number>) {
if (a instanceof A1) {
a.field1;
}
if (a instanceof A2) {
a.field1;
}
}
🙁 Actual behavior
Property 'field1' does not exists in type A in first if, variable a narrowed to A
🙂 Expected behavior
variable a narrowed to A1 in first if and property field1 exists