Hello Andrei,
> The dynamic behavior is indicated by the use of opDotExp. The
> redundancy of the two notations doesn't quite sit well.
>
> Andrei
>
not exactly 1-to-1 but:
abstract class C { void foo(); } // works
class D { void foo(); } // fails: link error