Method getTypeFromInference

internal/checker/inference.go:1475–1483

(inference *InferenceInfo)

}

func (c *Checker) getTypeFromInference(inference *InferenceInfo) *Type {
	switch {
	case len(inference.candidates) != 0:
		return c.getUnionTypeEx(inference.candidates, UnionReductionSubtype, nil, nil)
	case len(inference.contraCandidates) != 0:
		return c.getIntersectionType(inference.contraCandidates)
	}
	return nil
}

func getInferenceInfoForType(n *InferenceState, t *Type) *InferenceInfo {
	if t.flags&TypeFlagsTypeVariable != 0 {