Can't refine interface method with raw types

[FroMage]

We get trouble when we refine methods with raw types:

public interface Raw<T> {
 Raw method(Raw x);
}

shared class Foo() satisfies Raw<Object>{
 shared actual Raw<Object> method(Raw<Object> x){ return x; }
}

Because we can't refine raw stuff with non-raw stuff.

[gavinking]

You could always just disallow this by pretending method is final in the model loader....

[FroMage]

Well, I think the problem is that people will want to do that ;)

[FroMage]

Moved to 1.0

[FroMage]

I don't think we can do that without something special such as being able to add compiler annotations in the middle of a type expression:

shared class Foo() satisfies Raw<Object>{
 shared actual @raw Raw method(@raw Raw x){ return x; }
}

I guess we can do this ATM for toplevel types, but not in the case of Foo<@raw Bar>.

I'm moving this to 1.2