[GROOVY-9516] Static compiler infers wrong type for implicitly shared variables

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.0, 2.5.11
• Fix Version/s: 4.0.0-alpha-1, 3.0.5, 2.5.16
• Component/s: Static compilation
• Assignee: Eric Milles
• Reporter: Konstantin Nisht
• Created: 20/Apr/20 09:43
• Updated: 23/Feb/22 20:40
• Resolved: 21/Jun/20 23:35

Description

Consider the following code

class A {}
class B extends A{ def b() {}}
class C extends A{}

@CompileStatic
static foo() {
  def x = new B()
  ({ x = new C() })()
  def z = x
  z.b()
}

Here type of z in the last line of the method is deduced to be B. Attempt to execute z.b() leads to cast exception, which is unexpected under static compilation.