Method inferFromGenericMappedTypes

internal/checker/inference.go:653–663

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

}

func (c *Checker) inferFromGenericMappedTypes(n *InferenceState, source *Type, target *Type) {
	// The source and target types are generic types { [P in S]: X } and { [P in T]: Y }, so we infer
	// from S to T and from X to Y.
	c.inferFromTypes(n, c.getConstraintTypeFromMappedType(source), c.getConstraintTypeFromMappedType(target))
	c.inferFromTypes(n, c.getTemplateTypeFromMappedType(source), c.getTemplateTypeFromMappedType(target))
	sourceNameType := c.getNameTypeFromMappedType(source)
	targetNameType := c.getNameTypeFromMappedType(target)
	if sourceNameType != nil && targetNameType != nil {
		c.inferFromTypes(n, sourceNameType, targetNameType)
	}
}

func (c *Checker) inferFromObjectTypes(n *InferenceState, source *Type, target *Type) {
	if source.objectFlags&ObjectFlagsReference != 0 && target.objectFlags&ObjectFlagsReference != 0 && (source.Target() == target.Target() || c.isArrayType(source) && c.isArrayType(target)) {