feat(2280): Port implement interface quick fix (#3499)

Author: a-tarasyuk

internal/checker/checker.go

@@ -19935,22 +19935,13 @@ func (c *Checker) getAnnotatedAccessorTypeNode(accessor *ast.Node) *ast.Node {
 }
 
 func getEffectiveSetAccessorTypeAnnotationNode(node *ast.Node) *ast.Node {
-	param := getSetAccessorValueParameter(node)
+	param := GetSetAccessorValueParameter(node)
 	if param != nil {
 		return param.Type()
 	}
 	return nil
 }
 
-func getSetAccessorValueParameter(accessor *ast.Node) *ast.Node {
-	parameters := accessor.Parameters()
-	if len(parameters) > 0 {
-		hasThis := len(parameters) == 2 && ast.IsThisParameter(parameters[0])
-		return parameters[core.IfElse(hasThis, 1, 0)]
-	}
-	return nil
-}
-
 func (c *Checker) getReturnTypeFromBody(fn *ast.Node, checkMode CheckMode) *Type {
 	body := fn.Body()
 	if body == nil {

internal/checker/exports.go

@@ -66,6 +66,21 @@ func (c *Checker) GetUnionType(types []*Type) *Type {
 	return c.getUnionType(types)
 }
 
+func (c *Checker) GetNameTypeOfSymbol(symbol *ast.Symbol) *Type {
+	if !c.valueSymbolLinks.Has(symbol) {
+		return nil
+	}
+	return c.valueSymbolLinks.TryGet(symbol).nameType
+}
+
+func IsTypeUsableAsPropertyName(t *Type) bool {
+	return isTypeUsableAsPropertyName(t)
+}
+
+func GetPropertyNameFromType(t *Type) string {
+	return getPropertyNameFromType(t)
+}
+
 func (c *Checker) GetGlobalSymbol(name string, meaning ast.SymbolFlags, diagnostic *diagnostics.Message) *ast.Symbol {
 	return c.getGlobalSymbol(name, meaning, diagnostic)
 }
@@ -263,6 +278,10 @@ func (c *Checker) GetTypeArguments(t *Type) []*Type {
 	return c.getTypeArguments(t)
 }
 
+func (c *Checker) GetIndexInfoOfType(t *Type, keyType *Type) *IndexInfo {
+	return c.getIndexInfoOfType(t, keyType)
+}
+
 func (c *Checker) GetIndexInfosOfType(t *Type) []*IndexInfo {
 	return c.getIndexInfosOfType(t)
 }

internal/checker/grammarchecks.go

@@ -1348,7 +1348,7 @@ func (c *Checker) checkGrammarAccessor(accessor *ast.AccessorDeclaration) bool {
 			return c.grammarErrorOnNode(accessor.Name(), diagnostics.A_set_accessor_cannot_have_a_return_type_annotation)
 		}
 
-		parameterNode := getSetAccessorValueParameter(accessor)
+		parameterNode := GetSetAccessorValueParameter(accessor)
 		if parameterNode == nil {
 			panic("Return value does not match parameter count assertion.")
 		}

internal/checker/nodebuilderimpl.go

@@ -2519,7 +2519,7 @@ func (b *NodeBuilderImpl) createTypeNodesFromResolvedType(resolvedType *Structur
 	if b.checkTruncationLength() {
 		if b.ctx.flags&nodebuilder.FlagsNoTruncation != 0 {
 			elem := b.f.NewNotEmittedTypeElement()
-			return b.f.NewNodeList([]*ast.TypeElement{b.e.AddSyntheticLeadingComment(elem, ast.KindMultiLineCommentTrivia, "elided", false /*hasTrailingNewLine*/)})
+			return b.f.NewNodeList([]*ast.TypeElement{b.e.AddSyntheticTrailingComment(elem, ast.KindMultiLineCommentTrivia, "elided", false /*hasTrailingNewLine*/)})
 		}
 		return b.f.NewNodeList([]*ast.Node{b.f.NewPropertySignatureDeclaration(nil, b.f.NewIdentifier("..."), nil, nil, nil)})
 	}
@@ -2561,7 +2561,7 @@ func (b *NodeBuilderImpl) createTypeNodesFromResolvedType(resolvedType *Structur
 		}
 		if b.checkTruncationLength() && (i+2 < len(properties)-1) {
 			if b.ctx.flags&nodebuilder.FlagsNoTruncation != 0 {
-				typeElements[len(typeElements)-1] = b.e.AddSyntheticLeadingComment(typeElements[len(typeElements)-1], ast.KindMultiLineCommentTrivia, fmt.Sprintf("... %d more elided ...", len(properties)-i), false /*hasTrailingNewLine*/)
+				typeElements[len(typeElements)-1] = b.e.AddSyntheticTrailingComment(typeElements[len(typeElements)-1], ast.KindMultiLineCommentTrivia, fmt.Sprintf("... %d more elided ...", len(properties)-i), false /*hasTrailingNewLine*/)
 			} else {
 				text := fmt.Sprintf("... %d more ...", len(properties)-i)
 				typeElements = append(typeElements, b.f.NewPropertySignatureDeclaration(nil, b.f.NewIdentifier(text), nil, nil, nil))

internal/checker/types.go

@@ -1302,6 +1302,10 @@ func (s *Signature) HasRestParameter() bool {
 	return s.flags&SignatureFlagsHasRestParameter != 0
 }
 
+func (s *Signature) MinArgumentCount() int {
+	return int(s.minArgumentCount)
+}
+
 type CompositeSignature struct {
 	isUnion    bool         // True for union, false for intersection
 	signatures []*Signature // Individual signatures

internal/checker/utilities.go

@@ -1818,3 +1818,12 @@ func walkUpOuterExpressions(node *ast.Node) *ast.Node {
 	}
 	return parent
 }
+
+func GetSetAccessorValueParameter(accessor *ast.Node) *ast.Node {
+	parameters := accessor.Parameters()
+	if len(parameters) > 0 {
+		hasThis := len(parameters) == 2 && ast.IsThisParameter(parameters[0])
+		return parameters[core.IfElse(hasThis, 1, 0)]
+	}
+	return nil
+}