[GROOVY-5893] Return type of "inject" is not inferred properly

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.6, 2.3.9
• Fix Version/s: 5.0.0-alpha-3
• Component/s: Static compilation
• Assignee: Eric Milles
• Reporter: Cédric Champeau
• Created: 08/Jan/13 07:59
• Updated: 22/Dec/23 11:38
• Resolved: 07/Nov/23 20:44

Description

The return type of inject is not inferred properly. Currently, there's no rule allowing the type checker to infer the type. The signature of the method is:

public static <T, U extends T, V extends T> T inject(Collection self, U initialValue, Closure<V> closure)

So both U and V must be took into account to be able to infer the return type T.

Issue Links

• is related to: GROOVY-5874 Groovyc: BUG! exception in phase 'class generation' in source unit
• relates to: GROOVY-7934 Type inference breaks for Collection.inject