This currently fails: ```Scala @ObjC trait Foo { def foo(): Unit = extern } @ObjC class Bar extends Foo val bar: Bar = ... bar.foo() ```