scala.scalanative.annotation

Mark a concrete trait method as a Java default method.

This annotation can be used on concrete trait methods to mark them as Java default methods. This should be used only to implement interfaces of the JDK that have default methods in Java.

Otherwise using this annotation is unspecified.

Always inline a method, even in debug mode.

Don't optimize annotated method at all.

This annotation implies noinline and nospecialize. In case any inline annotations are provided, nooptimize wins over them (i.e. inline nooptimize is the same as nooptimize).

Don't specialize annotated method.

An annotation that is used to indicate that a given method is provided as a stub, but is not currently supported. These methods are not discovered by the linker by default, but will be discovered only if a special flag is enabled.