[GROOVY-5573] Type checker incorrectly selecting DGM return type instead of actual return type

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.0
• Fix Version/s: 2.0.1
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Graeme Rocher
• Created: 03/Jul/12 07:36
• Updated: 26/Jul/12 16:49
• Resolved: 05/Jul/12 14:43

Description

The following code:

import java.lang.reflect.Array

@groovy.transform.CompileStatic
def arrayTest() {
   Object[] joinedArray = (Object[]) Array.newInstance(Integer.class, 10);
}

Results in

[Static type checking] - Inconvertible types: cannot cast java.lang.reflect.Array to [Ljava.lang.Object;
 at line: 5, column: 27

The DGM newInstance method is being used instead of http://docs.oracle.com/javase/6/docs/api/java/lang/reflect/Array.html#newInstance(java.lang.Class,%20int)

Issue Links

• is duplicated by: GROOVY-5607 @Compile static Sql.newInstance