[GROOVY-5610] Type checking of method calls using generics and default values is not supported

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.0.1
• Fix Version/s: 2.1.7, 2.2.0-beta-2
• Component/s: Static Type Checker
• Assignee: Jochen Theodorou
• Reporter: Cédric Champeau
• Created: 17/Jul/12 14:41
• Updated: 14/Oct/13 16:54
• Resolved: 16/Jul/13 10:12

Description

Imagine a method with the following signature:

def foo(List<? extends A> arg, String value='default')

And a method call:

foo(a)

Then in that case, the type checker will not verify that for argument a, the generics match the signature (only that a is a List).

A method call with all arguments set will not have this limitation.