Function bindInferCurrentTypeRule

bindInferCurrentTypeRule<
    TypeType extends Type,
    Specifics extends TypirSpecifics,
    T extends unknown = Specifics["LanguageType"],
>(
    rule: InferCurrentTypeRule<TypeType, Specifics, T>,
    type: TypeType,
): InferenceRuleWithOptions<Specifics, T>
Type Parameters
- TypeType extends Type
- Specifics extends TypirSpecifics
- T extends unknown = Specifics["LanguageType"]
Parameters
- rule: InferCurrentTypeRule<TypeType, Specifics, T>
- type: TypeType
Returns InferenceRuleWithOptions<Specifics, T>
- Defined in utils/utils-definitions.ts:174