[jira] [Updated] (GROOVY-11065) STC takes the instantiation of a wrong type variable

["Thodoris Sotiropoulos (Jira)" <ji...@apache.org>]

     [ 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)