GROOVY-9906

Author: eric-milles

base-test/org.eclipse.jdt.groovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/basic/GroovySimpleTests.java

@@ -4618,6 +4618,27 @@ public void testGroovy9336() {
         runConformTest(sources, "65536.0");
     }
 
+    @Test // https://issues.apache.org/jira/browse/GROOVY-9906
+    public void testGroovy9906() {
+        //@formatter:off
+        String[] sources = {
+            "Main.groovy",
+            "abstract class A {\n" +
+            "  void m(String a, String b, String c) {}\n" +
+            "  void m(String a, String... zeroPlus) {}\n" +
+            "}\n" +
+            "class C extends A {\n" +
+            "  void test() {\n" +
+            "    m('x', 'y', 'z')\n" + // ArrayIndexOutOfBoundsException: Index 2 out of bounds for length 2
+            "  }\n" +
+            "}\n" +
+            "new C().test()\n",
+        };
+        //@formatter:on
+
+        runConformTest(sources, "");
+    }
+
     // was worried <clinit> would surface in list of methods used to build the type declaration, but that doesn't appear to be the case
     @Test
     public void testExtendingGroovyObjects_clinit() {

base/org.codehaus.groovy25/src/org/codehaus/groovy/ast/ClassNode.java

@@ -1420,8 +1420,13 @@ public MethodNode tryFindPossibleMethod(final String name, final Expression argu
 
     private boolean hasExactMatchingCompatibleType(MethodNode current, MethodNode newCandidate, int i) {
         int lastParamIndex = newCandidate.getParameters().length - 1;
+        /* GRECLIPSE edit -- GROOVY-9906
         return current.getParameters()[i].getType().equals(newCandidate.getParameters()[i].getType())
                 || (isPotentialVarArg(newCandidate, lastParamIndex) && i >= lastParamIndex && current.getParameters()[i].getType().equals(newCandidate.getParameters()[lastParamIndex].getType().componentType));
+        */
+        return (i <= lastParamIndex && current.getParameters()[i].getType().equals(newCandidate.getParameters()[i].getType()))
+                || (i >= lastParamIndex && isPotentialVarArg(newCandidate, lastParamIndex) && current.getParameters()[i].getType().equals(newCandidate.getParameters()[lastParamIndex].getType().getComponentType()));
+        // GRECLIPSE end
     }
 
     private boolean hasCompatibleType(TupleExpression args, MethodNode method, int i) {

base/org.codehaus.groovy30/src/org/codehaus/groovy/ast/ClassNode.java

@@ -1384,8 +1384,13 @@ public MethodNode tryFindPossibleMethod(final String name, final Expression argu
 
     private boolean hasExactMatchingCompatibleType(MethodNode current, MethodNode newCandidate, int i) {
         int lastParamIndex = newCandidate.getParameters().length - 1;
+        /* GRECLIPSE edit -- GROOVY-9906
         return current.getParameters()[i].getType().equals(newCandidate.getParameters()[i].getType())
                 || (isPotentialVarArg(newCandidate, lastParamIndex) && i >= lastParamIndex && current.getParameters()[i].getType().equals(newCandidate.getParameters()[lastParamIndex].getType().componentType));
+        */
+        return (i <= lastParamIndex && current.getParameters()[i].getType().equals(newCandidate.getParameters()[i].getType()))
+                || (i >= lastParamIndex && isPotentialVarArg(newCandidate, lastParamIndex) && current.getParameters()[i].getType().equals(newCandidate.getParameters()[lastParamIndex].getType().getComponentType()));
+        // GRECLIPSE end
     }
 
     private boolean hasCompatibleType(TupleExpression args, MethodNode method, int i) {

base/org.codehaus.groovy40/src/org/codehaus/groovy/ast/ClassNode.java

@@ -1403,8 +1403,13 @@ public MethodNode tryFindPossibleMethod(final String name, final Expression argu
 
     private boolean hasExactMatchingCompatibleType(MethodNode current, MethodNode newCandidate, int i) {
         int lastParamIndex = newCandidate.getParameters().length - 1;
+        /* GRECLIPSE edit -- GROOVY-9906
         return current.getParameters()[i].getType().equals(newCandidate.getParameters()[i].getType())
                 || (isPotentialVarArg(newCandidate, lastParamIndex) && i >= lastParamIndex && current.getParameters()[i].getType().equals(newCandidate.getParameters()[lastParamIndex].getType().componentType));
+        */
+        return (i <= lastParamIndex && current.getParameters()[i].getType().equals(newCandidate.getParameters()[i].getType()))
+                || (i >= lastParamIndex && isPotentialVarArg(newCandidate, lastParamIndex) && current.getParameters()[i].getType().equals(newCandidate.getParameters()[lastParamIndex].getType().getComponentType()));
+        // GRECLIPSE end
     }
 
     private boolean hasCompatibleType(TupleExpression args, MethodNode method, int i) {