Type guard for child not transitive parent object

[clouds56]

Type guard for child not transitive parent object

[fatcerberus]

Duplicate of #42384. Due to various design limitations, type narrowings of object properties currently don't propagate to the containing object except for the special case of discriminated unions.

[clouds56]

Yes, it is duplicated, I'm not sure it should be discussed here and #42384 .

Type guards do not propagate type narrowings to parent objects. The narrowing is only applied upon access of the narrowed property which is why the destructing function works, but the reference function does not. Narrowing the parent would involve synthesizing new types which would be expensive. More detail in this comment.

If I read correctly, it is due to performance issue so we choose not to implement this?

I dived into source code and createTypeChecker.checkExpression()
src/compiler/checker.ts#L39525

const type = instantiateTypeWithSingleGenericCallSignature(node, uninstantiatedType, checkMode);

I think the performance issue is refer to here we won't like to generate a new type every time we checkExpression, even though actually we already have all related information to construct a coerced type here.

Correct me I'm wrong

In current design when checking if a could be called by f1(_), it would

1. checkExpression(node: Expression | QualifiedName): first calculate type of a, without checking deep "type relation", so it would give Test as is.
2. checkTypeRelatedTo(source: Type, target: Type): check if Test is compatible with TestArray, without context of a

I see now getTypeOfSourceProperty: (sym: Symbol) => Type used by propertiesRelatedTo is now setting to getNonMissingTypeOfSymbol, is it possible to switch to an Expression awareable callback on error?

[typescript-bot]

This issue has been marked as "Duplicate" and has seen no recent activity. It has been automatically closed for house-keeping purposes.