[GROOVY-8405] Inherited methods with default parameters cause cause static compilation to fail

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.5.0-beta-1
• Fix Version/s: 3.0.0-alpha-4, 2.5.3
• Component/s: Static compilation
• Assignee: Daniel Sun
• Reporter: Nathan Harvey
• Created: 07/Dec/17 20:35
• Updated: 13/Dec/18 10:05
• Resolved: 18/Aug/18 08:49

Description

Given a super type with a method that has a default argument:

@CompileStatic
class SuperType {
	void sample(String string, Integer arg=0) {}
}

And a subclass that extends the method, but omits the optional parameters:

@CompileStatic
class SubType extends SuperType {
	@Override
	void sample(String string) {}
}

Static type checking fails to pick which method to call in the following code:

@CompileStatic
class BrokenMethods {
	public static void main(String[] args) {
		new SubType().sample('hi')
	}
}

The error message is:

Reference to method is ambiguous. Cannot choose between [void codes.nom.broken.SubType#sample(java.lang.String), void codes.nom.broken.SubType#sample(java.lang.String)]