Type Alias TypeInferenceRuleWithoutInferringChildren<Specifics, InputType>

TypeInferenceRuleWithoutInferringChildren: (
languageNode: InputType,
typir: TypirServices<Specifics>,
) => TypeInferenceResultWithoutInferringChildren<Specifics>

Usual inference rule which don't depend on children's types.

Type Parameters

Specifics extends TypirSpecifics
InputType extends Specifics["LanguageType"] = Specifics["LanguageType"]

Type declaration

- (
  languageNode: InputType,
  typir: TypirServices<Specifics>,
  ): TypeInferenceResultWithoutInferringChildren<Specifics>
- Parameters
  - languageNode: InputType
  - typir: TypirServices<Specifics>
  Returns TypeInferenceResultWithoutInferringChildren<Specifics>