Method inferToConditionalType

internal/checker/inference.go:520–530

(n *InferenceState, source *Type, target *Type)

}

func (c *Checker) inferToConditionalType(n *InferenceState, source *Type, target *Type) {
	if source.flags&TypeFlagsConditional != 0 {
		c.inferFromTypes(n, source.AsConditionalType().checkType, target.AsConditionalType().checkType)
		c.inferFromTypes(n, source.AsConditionalType().extendsType, target.AsConditionalType().extendsType)
		c.inferFromTypes(n, c.getTrueTypeFromConditionalType(source), c.getTrueTypeFromConditionalType(target))
		c.inferFromTypes(n, c.getFalseTypeFromConditionalType(source), c.getFalseTypeFromConditionalType(target))
	} else {
		targetTypes := []*Type{c.getTrueTypeFromConditionalType(target), c.getFalseTypeFromConditionalType(target)}
		c.inferToMultipleTypesWithPriority(n, source, targetTypes, target.flags, core.IfElse(n.contravariant, InferencePriorityContravariantConditional, 0))
	}
}

func (c *Checker) inferToTemplateLiteralType(n *InferenceState, source *Type, target *TemplateLiteralType) {
	matches := c.inferTypesFromTemplateLiteralType(source, target)