[GROOVY-10628] Elvis assignment operator loses type information

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.2
• Fix Version/s: 3.0.11, 4.0.3
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 19/May/22 18:17
• Updated: 24/Jul/22 12:16
• Resolved: 19/May/22 20:30

Description

This class works as expected:

class RoutingInfo {
  String to

  void hello() { this.to ?= 'alice' }
}

Trying to use Elvis assignment from a class in another file (it must be another file) causes the STC to lose track of the type of the RHS and complain that it can't assign Object to String:

class Other {
  void world() {
    new RoutingInfo().to ?= 'bob'
  }
}

Groovy:[Static type checking] - Cannot assign value of type java.lang.Object to variable of type java.lang.String

Issue Links

• is related to: GROOVY-10419 STC: stack overflow for elvis assignment with explicit setter