Type Alias TypeInferenceResultWithInferringChildren<Specifics>

TypeInferenceResultWithInferringChildren:
| TypeInferenceResultWithoutInferringChildren<Specifics>
| Specifics["LanguageType"][]

Type Parameters

Specifics extends TypirSpecifics

Type declaration

TypeInferenceResultWithoutInferringChildren<Specifics>
the usual results, since it might be possible to determine the type of the parent without its children
Specifics["LanguageType"][]
the children whos types need to be inferred and taken into account to determine the parent's type