[GROOVY-6120] Verify error in class annotated with @Category if instance field is used

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.2.0-beta-1
• Labels: breaking
• Assignee: Cédric Champeau
• Reporter: Maxim Medvedev
• Created: 24/Apr/13 06:18
• Updated: 17/Jun/15 20:09
• Resolved: 09/Jul/13 03:15

Description

The following code fails with Verify error

@Mixin(Foo)
class Bar {}

@Category(Bar)
class Foo {
    public x = 5

    def foo() {
        print x //verify error because of the field reference
    }
}

new Bar().foo()

But if we use field 'x' outside of 'Foo' no errors happen

@Mixin(Foo)
class Bar {}

@Category(Bar)
class Foo {
    public x = 5

    def foo() {
    }
}

new Bar().x = 4
print new Bar().x //prints 5

So imho the first code snippet should not throw the error.