[GROOVY-7327] TypeChecking Error when combining generic method and Java Enum

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.0, 2.4.1
• Fix Version/s: 2.4.2
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Thibault Kruse
• Created: 02/Mar/15 10:16
• Updated: 15/Oct/15 18:15
• Resolved: 06/Mar/15 09:04

Description

To reproduce:

import groovy.transform.TypeChecked

import java.nio.file.StandardCopyOption

enum TestEnum {
    A, B, C
}

@TypeChecked
class TestGenerics {
    public static <T> List<T> randomSample(T[] sequence) {
        return Arrays.asList(sequence)[0..1]
    }

    def test1 = randomSample(TestEnum.values())
    def test2 = randomSample(StandardCopyOption.values())
}

/tmp/TestGenerics.groovy: 16: [Static type checking] - Cannot call <T> TestGenerics#randomSample(T[]) with arguments [java.nio.file.StandardCopyOption[]]
@ line 16, column 17.
def test2 = randomSample(StandardCopyOption.values())

Same for Collections with Generics instead of arrays.
Note this fails only with Java enums, not Groovy enums.

Could be related to patches for:
https://jira.codehaus.org/browse/GROOVY-5981