Frank Pavageau created GROOVY-7720:
--------------------------------------
Summary: Type incompatibility of generic placeholders not detected
on assignment
Key: GROOVY-7720
URL: https://issues.apache.org/jira/browse/GROOVY-7720
Project: Groovy
Issue Type: Bug
Components: Static Type Checker
Affects Versions: 2.4.5, 2.4.0
Reporter: Frank Pavageau
Assignee: Cédric Champeau
It looks like the issue in GROOVY-7719 can be generalized, because the
following compiles:
{code}
class Foo<T> {
public <U> void set(U value) {
T localValue = value
}
}
def foo = new Foo<Integer>()
foo.set(new Object())
{code}
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
