(javaDefaultMethod: StringAdd).self
(javaDefaultMethod: StringFormat).self
(javaDefaultMethod: ArrowAssoc[JavaDefaultMethod]).x
(Since version 2.10.0) Use leftOfArrow
instead
(javaDefaultMethod: Ensuring[JavaDefaultMethod]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
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.