cannot extend Java static member class that implements containing interface in Ceylon

[jvasileff]

For extension only, the typechecker incorrectly considers a static class to be a member of its containing class or interface if the static class extends or implements its containing class or interface.

In Java:

package simplejvm;

public interface JavaInterface {
    public static class C implements JavaInterface {} // uncommon
    public static interface I extends JavaInterface {} // similar to Map.Entry
}

in Ceylon:

import simplejvm {
    JavaInterface {
        JavaInterfaceC = C,
        JavaInterfaceI = I
    }
}

class CC() extends JavaInterfaceC() {} // error
class CI() satisfies JavaInterfaceI {} // ok

// Inherited member class may not be extended in initializer of CC:
// C is inherited by CC from JavaInterface

Note that in other regards, the static class C is not considered a member. For example, C can be given a static method which can be invoked directly without problems.

[jvasileff]

In the interest of full disclosure, the reason I care about this is jvasileff/ceylon-dart#8 (comment)

[gavinking]

This is fixed, but I would also like to see if I can change the grammar so that the import alias is no longer necessary.

[gavinking]

Done.

[jvasileff]

Awesome. Thanks!