Type Alias TypeInferenceResultWithoutInferringChildren<Specifics>

TypeInferenceResultWithoutInferringChildren:
    | Type
    | InferenceRuleNotApplicable
    | Specifics["LanguageType"]
    | InferenceProblem<Specifics>

Type Parameters

Specifics extends TypirSpecifics

Type declaration

Type
the identified type
InferenceRuleNotApplicable
'N/A' to indicate, that the current inference rule is not applicable for the given language node at all
Specifics["LanguageType"]
a language node whose type should be inferred instead
InferenceProblem<Specifics>
an inference problem