[
https://issues.apache.org/jira/browse/GROOVY-11021?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Thodoris Sotiropoulos updated GROOVY-11021:
-------------------------------------------
Description:
This might be related to GROOVY-11002.
I have the following program
{code}
import java.util.Comparator;
class Foo<T> {}
class Bar<T> {
static <T> Bar<T> concat(Bar<? extends T>... x) { return null; }
static <T> Bar<T> concat(Bar<? extends Bar<? extends T>> x) { return null; }
void toSortedSet(Comparator<? super T> x) {}
}
class Main {
static final void test() {
Bar<Foo<Number>> x = null;
Comparator<Foo<Number>> y = null;
Bar.concat(x).toSortedSet(y);
}
}
{code}
h3. Actual behavior
{code}
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
groovy35.groovy: 15: [Static type checking] - Cannot call <T> Bar#concat(Bar<?
extends Bar<? extends T>>) with arguments [Bar<Foo<java.lang.Number>>]
@ line 15, column 15.
Bar.concat(x).toSortedSet(y);
^
groovy35.groovy: 15: [Static type checking] - Cannot find matching method
java.lang.Object#toSortedSet(java.util.Comparator<Foo<java.lang.Number>>).
Please check if the declared type is correct and if the method exists.
@ line 15, column 5.
Bar.concat(x).toSortedSet(y);
^
2 errors
{code}
h3. Expected behavior
Compile successfully
h3. Notes
Tested against master (commit: efe514a5e28828309e7decbfaf923b5c7f42b05d)
To reproduce the bug, two overloaded methods are needed; one of them should
contain variable arguments.
Test cased adapted from the following program that uses the Guava library
{code}
import com.google.common.collect.*;
import java.util.Comparator;
class Foo<K> {}
class Main {
static final void test() {
Iterable<? extends Foo<Number>> x = null;
Comparator<? super Foo<Number>> y = null;
FluentIterable.concat(x).toSortedSet(y);
}
}
{code}
was:
This might be related to GROOVY-11002.
I have the following program
{code}
import java.util.Comparator;
class Bar<T> {
static <T> Bar<T> concat(Bar<? extends T>... x) { return null; }
static <T> Bar<T> concat(Bar<? extends Bar<? extends T>> x) { return null; }
void toSortedSet(Comparator<? super T> x) {}
}
class Main {
static final void test() {
Bar<Foo<Number>> x = null;
Comparator<Foo<Number>> y = null;
Bar.concat(x).toSortedSet(y);
}
}
{code}
h3. Actual behavior
{code}
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
groovy35.groovy: 15: [Static type checking] - Cannot call <T> Bar#concat(Bar<?
extends Bar<? extends T>>) with arguments [Bar<Foo<java.lang.Number>>]
@ line 15, column 15.
Bar.concat(x).toSortedSet(y);
^
groovy35.groovy: 15: [Static type checking] - Cannot find matching method
java.lang.Object#toSortedSet(java.util.Comparator<Foo<java.lang.Number>>).
Please check if the declared type is correct and if the method exists.
@ line 15, column 5.
Bar.concat(x).toSortedSet(y);
^
2 errors
{code}
h3. Expected behavior
Compile successfully
h3. Notes
Tested against master (commit: efe514a5e28828309e7decbfaf923b5c7f42b05d)
To reproduce the bug, two overloaded methods are needed; one of them should
contain variable arguments.
Test cased adapted from the following program that uses the Guava library
{code}
import com.google.common.collect.*;
import java.util.Comparator;
class Foo<K> {}
class Main {
static final void test() {
Iterable<? extends Foo<Number>> x = null;
Comparator<? super Foo<Number>> y = null;
FluentIterable.concat(x).toSortedSet(y);
}
}
{code}
> Resolving wrong overloaded method when having variable arguments
> ----------------------------------------------------------------
>
> Key: GROOVY-11021
> URL: https://issues.apache.org/jira/browse/GROOVY-11021
> Project: Groovy
> Issue Type: Bug
> Components: Static Type Checker
> Reporter: Thodoris Sotiropoulos
> Priority: Minor
> Labels: overloading, varargs
>
> This might be related to GROOVY-11002.
> I have the following program
> {code}
> import java.util.Comparator;
> class Foo<T> {}
> class Bar<T> {
> static <T> Bar<T> concat(Bar<? extends T>... x) { return null; }
> static <T> Bar<T> concat(Bar<? extends Bar<? extends T>> x) { return null;
> }
> void toSortedSet(Comparator<? super T> x) {}
> }
> class Main {
> static final void test() {
> Bar<Foo<Number>> x = null;
> Comparator<Foo<Number>> y = null;
> Bar.concat(x).toSortedSet(y);
> }
> }
> {code}
> h3. Actual behavior
> {code}
> org.codehaus.groovy.control.MultipleCompilationErrorsException: startup
> failed:
> groovy35.groovy: 15: [Static type checking] - Cannot call <T>
> Bar#concat(Bar<? extends Bar<? extends T>>) with arguments
> [Bar<Foo<java.lang.Number>>]
> @ line 15, column 15.
> Bar.concat(x).toSortedSet(y);
> ^
> groovy35.groovy: 15: [Static type checking] - Cannot find matching method
> java.lang.Object#toSortedSet(java.util.Comparator<Foo<java.lang.Number>>).
> Please check if the declared type is correct and if the method exists.
> @ line 15, column 5.
> Bar.concat(x).toSortedSet(y);
> ^
> 2 errors
> {code}
> h3. Expected behavior
> Compile successfully
> h3. Notes
> Tested against master (commit: efe514a5e28828309e7decbfaf923b5c7f42b05d)
> To reproduce the bug, two overloaded methods are needed; one of them should
> contain variable arguments.
> Test cased adapted from the following program that uses the Guava library
> {code}
> import com.google.common.collect.*;
> import java.util.Comparator;
> class Foo<K> {}
> class Main {
> static final void test() {
> Iterable<? extends Foo<Number>> x = null;
> Comparator<? super Foo<Number>> y = null;
> FluentIterable.concat(x).toSortedSet(y);
> }
> }
> {code}
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
