[GROOVY-10062] STC: no type parameter inference for variadic method called with fewer arguments than parameters

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-beta-1, 2.5.21, 3.0.15
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 27/Apr/21 19:03
• Updated: 12/Jan/23 22:32
• Resolved: 27/Apr/21 19:06

Description

Consider the following:

def <T> T m(T t, ... zeroOrMore) {
}
def obj = m(42)

When method "m" is called with just one argument, STC does not infer the type of "T".