Structural subtyping + abstracts

[Herschel]

This fails with MyAbstract should be MyType and MyAbstract should be { foo : Void -> Void }:

abstract MyAbstract(Int)
{
    public function new()
    {

    }

    public function foo()
        trace( "Foo" );
}


typedef MyType = { function foo() : Void; };

class Main {
  static function main(){
    var a : MyType = new MyAbstract();
  }
}

[Simn]

I think that's correct, I can't see how we would resolve the anon field access to a static abstract field.

[Herschel]

Yea, I guess this is impossible.

[Simn]

Sorry. :)