Interface ValidationConstraints<Specifics>

interface ValidationConstraints<Specifics extends TypirSpecifics> {
    ensureNodeHasNotType<
        S extends unknown,
        E extends unknown,
        T extends unknown = Specifics["LanguageType"],
    >(
        sourceNode: undefined | S,
        notExpected: undefined | Type | E,
        accept: ValidationProblemAcceptor<Specifics>,
        message: ValidationMessageProvider<Specifics, T>,
    ): void;
    ensureNodeIsAssignable<
        S extends unknown,
        E extends unknown,
        T extends unknown = Specifics["LanguageType"],
    >(
        sourceNode: undefined | S,
        expected: undefined | Type | E,
        accept: ValidationProblemAcceptor<Specifics>,
        message: ValidationMessageProvider<Specifics, T>,
    ): void;
    ensureNodeIsEquals<
        S extends unknown,
        E extends unknown,
        T extends unknown = Specifics["LanguageType"],
    >(
        sourceNode: undefined | S,
        expected: undefined | Type | E,
        accept: ValidationProblemAcceptor<Specifics>,
        message: ValidationMessageProvider<Specifics, T>,
    ): void;
    ensureNodeRelatedWithType<
        S extends unknown,
        E extends unknown,
        T extends unknown = Specifics["LanguageType"],
    >(
        languageNode: undefined | S,
        expected: undefined | Type | E,
        strategy: TypeCheckStrategy,
        negated: boolean,
        accept: ValidationProblemAcceptor<Specifics>,
        message: ValidationMessageProvider<Specifics, T>,
    ): void;
}