Method addTypesToIntersection

internal/checker/checker.go:26145–26150

Add the given types to the given type set. Order is preserved, freshness is removed from literal types, duplicates are removed, and nested types of the given kind are flattened into the set.

(typeSet *orderedSet[*Type], includes TypeFlags, types []*Type)

// Add the given types to the given type set. Order is preserved, freshness is removed from literal
// types, duplicates are removed, and nested types of the given kind are flattened into the set.
func (c *Checker) addTypesToIntersection(typeSet *orderedSet[*Type], includes TypeFlags, types []*Type) TypeFlags {
	for _, t := range types {
		includes = c.addTypeToIntersection(typeSet, includes, c.getRegularTypeOfLiteralType(t))
	}
	return includes
}

func (c *Checker) addTypeToIntersection(typeSet *orderedSet[*Type], includes TypeFlags, t *Type) TypeFlags {
	flags := t.flags