[GROOVY-8686] STC: type inferencing for (a instanceof C && a...) bleeds into enclosing scope

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.16, 3.0.0-alpha-4, 2.5.6
• Fix Version/s: 3.0.0-rc-2, 2.5.19
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 05/Jul/18 23:07
• Updated: 28/Aug/22 22:35
• Resolved: 21/Nov/19 08:48

Description

Expecting type checking error for the following:

@groovy.transform.TypeChecked
def m(def obj) {
  def isA = (obj instanceof String && obj.equalsIgnoreCase('a'))
  obj.toLowerCase() // should be STC error; if above line is commented out, error shows
}

Same for @CompileStatic.

Issue Links

• links to: GitHub Pull Request #1091