Type Alias InferCurrentTypeValidationRule<TypeType, Specifics, T>

InferCurrentTypeValidationRule: (
    languageNode: T,
    inferredType: TypeType,
    accept: ValidationProblemAcceptor<Specifics>,
    typir: TypirServices<Specifics>,
) => void

Type Parameters

TypeType extends Type
Specifics extends TypirSpecifics
T extends Specifics["LanguageType"] = Specifics["LanguageType"]

Type declaration

- (
      languageNode: T,
      inferredType: TypeType,
      accept: ValidationProblemAcceptor<Specifics>,
      typir: TypirServices<Specifics>,
  ): void
- Parameters
  - languageNode: T
  - inferredType: TypeType
  - accept: ValidationProblemAcceptor<Specifics>
  - typir: TypirServices<Specifics>
  Returns void