Trait super accessors inherit all annotations

[lrytz]

Test.java:

public @interface Test { }

T.scala

trait T { @Test def foo = 0 }

gives

public abstract interface T {

...

  public static synthetic foo$(LT;)I
    // parameter final synthetic  $this
  @LTest;()

...

  public default foo()I
  @LTest;()

...

}

Imagine @Test being JUnit's annotation. It should probably not be on the forwarder method. We should add a way to control this behavior.

[adriaanm]

In scala/scala#5570, @retronym proposes we drop all annotations from the static forwarders. They should be on the default method in the interface (and on the mixed in metho in subclasses). Right?

[lrytz]

I think the inliner relies on static accessors inheriting @inline, so inlining of super calls might break.

[lrytz]

Turns out it doesn't: scala/scala#5570 (comment)