[
https://issues.apache.org/jira/browse/GROOVY-11065?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Thodoris Sotiropoulos updated GROOVY-11065:
-------------------------------------------
Description:
I have the following program
{code}
import java.util.*
import java.util.function.*;
class LockVisitor<X> {
<T> T applyWriteLocked(Function<X, T> func) {return null;}
}
class Main {
static final <X>void test() {
Function<PropertyPermission, Collection<? extends X>> func = null;
LockVisitor<PropertyPermission> rec = null;
var x = rec.applyWriteLocked(func);
X arg = null;
TreeSet<X> y = new java.util.TreeSet<>(x)
y.floor(arg)
}
}
{code}
h3. Actual behavior
{code}
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 17: [Static type checking] - Cannot call
java.util.TreeSet#floor(java.util.PropertyPermission) with arguments [X]
@ line 17, column 5.
y.floor(arg)
^
1 error
{code}
h3. Expected behavior
Compile successfully
h3. Notes
Tested against master (commit: 62097da6116edb5d55a72c02c1a33042137e07d7)
The error happens when type variables of class LockVisitor and function "test"
have the same name.
The test case adapted from the following program that uses the
apache-commons-lang3 lib.
{code}
import java.util.*
import java.util.function.*;
import org.apache.commons.lang3.concurrent.locks.LockingVisitors.LockVisitor;
import org.apache.commons.lang3.function.FailableFunction;
import org.apache.commons.lang3.concurrent.CircuitBreaker
class Main {
static final <O>void test() {
FailableFunction<PropertyPermission, Collection<? extends Set<O>>, ?> x =
null;
LockVisitor<PropertyPermission, String> rec = null;
final var blandest = rec.applyWriteLocked(x);
TreeSet<Set<O>> y = new java.util.TreeSet<>(blandest)
final Set<O> arg = null;
y.floor(arg)
}
}
{code}
was:
I have the following program
{code}
import java.util.*
import java.util.function.*;
class LockVisitor<X> {
<T> T applyWriteLocked(Function<X, T> func) {return null;}
}
class Main {
static final <X>void test() {
Function<PropertyPermission, Collection<? extends X>> func = null;
LockVisitor<PropertyPermission> rec = null;
var x = rec.applyWriteLocked(func);
X arg = null;
TreeSet<X> y = new java.util.TreeSet<>(x)
y.floor(arg)
}
}
{code}
h3. Actual behavior
{code}
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 17: [Static type checking] - Cannot call
java.util.TreeSet#floor(java.util.PropertyPermission) with arguments [X]
@ line 17, column 5.
y.floor(arg)
^
1 error
{code}
h3. Expected behavior
Compile successfully
h3. Notes
Tested against master (commit: 62097da6116edb5d55a72c02c1a33042137e07d7)
The error happens when type variables of class LockVisitor and function "test"
have the same name.
> STC takes the instantiation of a wrong type variable
> ----------------------------------------------------
>
> Key: GROOVY-11065
> URL: https://issues.apache.org/jira/browse/GROOVY-11065
> Project: Groovy
> Issue Type: Bug
> Reporter: Thodoris Sotiropoulos
> Priority: Major
>
> I have the following program
> {code}
> import java.util.*
> import java.util.function.*;
> class LockVisitor<X> {
> <T> T applyWriteLocked(Function<X, T> func) {return null;}
> }
> class Main {
> static final <X>void test() {
> Function<PropertyPermission, Collection<? extends X>> func = null;
> LockVisitor<PropertyPermission> rec = null;
> var x = rec.applyWriteLocked(func);
> X arg = null;
> TreeSet<X> y = new java.util.TreeSet<>(x)
> y.floor(arg)
> }
> }
> {code}
> h3. Actual behavior
> {code}
> org.codehaus.groovy.control.MultipleCompilationErrorsException: startup
> failed:
> test.groovy: 17: [Static type checking] - Cannot call
> java.util.TreeSet#floor(java.util.PropertyPermission) with arguments [X]
> @ line 17, column 5.
> y.floor(arg)
> ^
> 1 error
> {code}
> h3. Expected behavior
> Compile successfully
> h3. Notes
> Tested against master (commit: 62097da6116edb5d55a72c02c1a33042137e07d7)
> The error happens when type variables of class LockVisitor and function
> "test" have the same name.
> The test case adapted from the following program that uses the
> apache-commons-lang3 lib.
> {code}
> import java.util.*
> import java.util.function.*;
> import org.apache.commons.lang3.concurrent.locks.LockingVisitors.LockVisitor;
> import org.apache.commons.lang3.function.FailableFunction;
> import org.apache.commons.lang3.concurrent.CircuitBreaker
> class Main {
> static final <O>void test() {
> FailableFunction<PropertyPermission, Collection<? extends Set<O>>, ?> x =
> null;
> LockVisitor<PropertyPermission, String> rec = null;
> final var blandest = rec.applyWriteLocked(x);
> TreeSet<Set<O>> y = new java.util.TreeSet<>(blandest)
> final Set<O> arg = null;
> y.floor(arg)
> }
> }
> {code}
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
