Scott Murphy Heiberg created GROOVY-12626:
---------------------------------------------
Summary: SC: a bare private field name in an enum constant body,
or in an anonymous subclass created in a static method, fails with VerifyError
Key: GROOVY-12626
URL: https://issues.apache.org/jira/browse/GROOVY-12626
Project: Groovy
Issue Type: Bug
Affects Versions: 5.0.8, 6.0.0
Reporter: Scott Murphy Heiberg
{code:groovy}
@groovy.transform.CompileStatic
enum E { A { def n() { z } }; private String z = 'x' }
assert E.A.n() == 'x'
{code}
Actual: {{java.lang.VerifyError: Bad type on operand stack}}. The same happens
for this.z, assignment, compound assignment, a closure, a lambda or an
anonymous class in the constant body. It also happens for an anonymous subclass
created in a static method of the declaring class:
{code:groovy}
@groovy.transform.CompileStatic
class B { private String z = 'x'; static B make() { new B() { String toString()
{ z } } } }
assert B.make().toString() == 'x'
{code}
Expected: the field the class inherits is read and written; both scripts pass.
Cause: the static compiler rewrites the field access through the enclosing E
instance because it treats the constant body (and the anonymous class) as
having an enclosing instance of the declaring class. Neither has one: the
constant body is created by the enum's static initializer, and the anonymous
class by a static method.
Seen in 5.0.8 and 6.0.0; 4.0.33 compiles it to a dynamic access that throws
MissingPropertyException.
--
This message was sent by Atlassian Jira
(v10.3.26#10030026)
