Method checkTypeParameters

internal/checker/checker.go:6979–6996

(typeParameterDeclarations []*ast.Node)

}

func (c *Checker) checkTypeParameters(typeParameterDeclarations []*ast.Node) {
	seenDefault := false
	for i, node := range typeParameterDeclarations {
		c.checkTypeParameter(node)
		defaultTypeNode := node.AsTypeParameterDeclaration().DefaultType
		if defaultTypeNode != nil {
			seenDefault = true
			c.checkTypeParametersNotReferenced(defaultTypeNode, typeParameterDeclarations, i)
		} else if seenDefault {
			c.error(node, diagnostics.Required_type_parameters_may_not_follow_optional_type_parameters)
		}
		for j := range i {
			if typeParameterDeclarations[j].Symbol() == node.Symbol() {
				c.error(node.Name(), diagnostics.Duplicate_identifier_0, scanner.DeclarationNameToString(node.Name()))
			}
		}
	}
}

// Check that type parameter defaults only reference previously declared type parameters */
func (c *Checker) checkTypeParametersNotReferenced(root *ast.Node, typeParameters []*ast.Node, index int) {