[GROOVY-7170] STC error If we use java.lang.Integer as Target Type with method generics

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.0-beta-3
• Fix Version/s: 2.4.6
• Component/s: Static Type Checker
• Environment: Groovy Version: 2.4.0-beta-3 JVM: 1.8.0_25 Vendor: Oracle Corporation OS: Mac OS X
• Assignee: Pascal Schumacher
• Reporter: UEHARA Junji
• Created: 15/Nov/14 15:26
• Updated: 22/Feb/16 20:48
• Resolved: 15/Nov/15 10:34

Description

Target type inference makes an STC Error when the target is java.lang.Integer:

    static <T> T empty() {..}
    Integer i = empty(); //[Static type checking] - Cannot assign value of type T to variable of type java.lang.Integer

Even if we specify the type explicitly, STC says same error:

        Integer i2 = TargetTypeTestGroovy.<Integer>empty(); // [Static type checking] - Cannot assign value of type T to variable of type java.lang.Integer

If we use java.lang.String instead of java.lang.Integer, it's OK.
Both of cases are worked well in java.