[GROOVY-6938] Wrong error reported by @CompileStatic when overriding a method returning a parameterized value

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.4
• Fix Version/s: 2.6.0-alpha-4, 3.0.0-alpha-3, 2.5.0-rc-3
• Component/s: Static compilation
• Assignee: Daniel Sun
• Reporter: Mauro Molinari
• Created: 10/Jul/14 11:14
• Updated: 26/Jul/18 04:38
• Resolved: 15/May/18 14:50

Description

Consider the following Java class:

package l;

public class LJava <T extends Number> {
   public T doSomething() {
	   return null;
   }
}

and the following Groovy class:

package l
import groovy.transform.CompileStatic;

@CompileStatic
class L extends LJava<Integer> {
	Integer doSomething() {
		super.doSomething()
	}
}

Static compilation fails because Groovy thinks that doSomething() for LJava<Integer> returns Number instead of Integer.