[
https://issues.apache.org/jira/browse/GROOVY-11021?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Thodoris Sotiropoulos updated GROOVY-11021:
-------------------------------------------
Labels: overloading varargs (was: varargs)
> 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 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)
