Cannot use extension fields in aspects

[tdegueul]

The way K3 generates Java code for aspects prevents the use of extension fields, see below:

abstract class ExtensionProvider {
    def void foo(String s)  
}

class Test {
    extension ExtensionProvider

    def void bar(String s) {
        s.foo     // This compiles
    }
}

@Aspect(className = SomeCls)
class AspectTest {
    extension ExtensionProvider

    def void bar(String s) {
        s.foo     // Error: The method foo is undefined for the type AspectTest
    }
}