problem with members of native classes

[gavinking]

The typechecker accepts this:

shared native class Elephant() {
    shared String name = "Trompon";
}

shared native("jvm") class Elephant() {
    shared String name = "Trompon";
}

And even this:

shared native class Elephant() {
    shared native String name = "Trompon";
}

shared native("jvm") class Elephant() {
    shared String name = "Trompon";
}

But it doesn't accept this:

shared native class Elephant() {
    shared native String name;
}

shared native("jvm") class Elephant() {
    shared String name = "Trompon";
}

That can't be right.

@quintesse would you take a look, please.

[quintesse]

All these examples are now properly rejected.

[gavinking]

Good, thanks.