[GROOVY-11366] STC: callable (closure) property from super class

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.21, 5.0.0-alpha-8, 4.0.21
• Fix Version/s: 5.0.0-alpha-11
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 02/May/24 15:03
• Updated: 4 days ago 11:39
• Resolved: 10/Sep/24 15:31

Description

GROOVY-5705, GROOVY-5807, GROOVY-5881, GROOVY-6324, GROOVY-9418

Consider the following:

abstract class A {
  Closure func = { x -> x }
}
class C extends A {
  Closure proc = { -> }
  @CompileStatic test() {
    func(123)
    proc()
  }
}

print(new C().test())

STC is happy with "proc()" but errors on "func(123)". If a variable expression can be called without ".call" it should not matter the source of the variable. Both method call expressions work fine without STC.