[GROOVY-11381] STC: field and interface default method accessor property

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-9
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 18/May/24 14:53
• Updated: 19/May/24 18:55
• Resolved: 19/May/24 18:55

Description

Consider the following:

package p;
public interface I {
  default Number getFoo() { return 42; }
}

class C implements p.I {
  private String foo
}

@groovy.transform.CompileStatic
void test(C c) {
  def foo = c.foo
  print foo
}
test(new C())

This script prints "42" but the inferred type of "c.foo" is String. Changing "def" to "Number" results in: Cannot assign value of type java.lang.String to variable of type java.lang.Number