Function skipInferenceRuleForExistingType

skipInferenceRuleForExistingType<
    TypeType extends Type,
    Specifics extends TypirSpecifics,
    T extends unknown = Specifics["LanguageType"],
>(
    inferenceRule: InferCurrentTypeRule<TypeType, Specifics, T>,
    newType: TypeType,
    existingType: TypeType,
): boolean
Type Parameters
- TypeType extends Type
- Specifics extends TypirSpecifics
- T extends unknown = Specifics["LanguageType"]
Parameters
- inferenceRule: InferCurrentTypeRule<TypeType, Specifics, T>
- newType: TypeType
- existingType: TypeType
Returns boolean
- Defined in utils/utils-definitions.ts:155