[GROOVY-9972] LUB does not work correctly in case of ternary operator

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-alpha-3, 3.0.11, 2.5.19
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 08/Mar/21 14:53
• Updated: 03/Sep/22 00:37
• Resolved: 15/Mar/21 13:35

Description

I have the following program

 

class Foo {
  public String x = "f";
}

class A<T> {
  public T f;
  A(T f) {
    this.f = f;
  }
}
public class Main {
  public static void foo() {
    def temp;
    if (true) {
      temp = new A<>(new Foo());
    } else {
      temp = new A<>(new Foo());
    }
    temp.f.x.toLowerCase() // works  fine
  }

  public static void bar() {
    A<Foo> temp = true ? new A<>(new Foo()) : new A<>(new Foo())
    temp.f.x // does not compile;
  }
}

 

Actual Behaviour

I get the following compile-time error

 

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 26: [Static type checking] - No such property: x for class: java.lang.Object
 @ line 26, column 5.
       temp.f.x // does not compile;
       ^1 error

Expected Behaviour

Compile Successfuly.

 

Tested on https://github.com/apache/groovy/commit/06e8cdeac2aa84403506b23a22c5254c5219850b

 

 

Issue Links

• relates to: GROOVY-7507 Cannot assign value of type java.lang.Object in ternary operator with null