[jira] [Created] (GROOVY-7985) Wrong "incompatible generic type" error

[Mauro Molinari (JIRA)]

Mauro Molinari created GROOVY-7985:
--------------------------------------

             Summary: Wrong "incompatible generic type" error
                 Key: GROOVY-7985
                 URL: https://issues.apache.org/jira/browse/GROOVY-7985
             Project: Groovy
          Issue Type: Bug
          Components: Static Type Checker
    Affects Versions: 2.4.7
            Reporter: Mauro Molinari


Consider the following:

{code}
package test;

import java.io.Serializable;

public final class Pair<L, R> implements Serializable {

        public static <L, R> Pair<L, R> of(final L left, final R right) {
                return new Pair<>(left, right);
        }

        public final L left;
        public final R right;

        private Pair(final L left, final R right) {
                this.left = left;
                this.right = right;
        }
}
{code}

And the following Groovy class:

{code}
package test2

import test.Pair

import java.util.Date;

import groovy.transform.CompileStatic

@CompileStatic
class Test {

        Pair<Pair<Integer, Pair<String, Date>>, Pair<Integer, Pair<String, 
Date>>> doSmething() {
                def left = (Pair<Integer, Pair<String, Date>>) null
                def right = (Pair<Integer, Pair<String, Date>>) null
                return Pair.of(left, right)
        }
}
{code}

Compilation fails with the following error message:

{noformat}
[Static type checking] - Incompatible generic argument types. Cannot assign 
test.Pair <test.Pair, test.Pair> to: test.Pair <Pair, Pair>
 @ line 15, column 10.
                return Pair.of(left, right)
{noformat}



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)