How does the Scala compiler handle concrete trait methods?

Question

If I have the following Scala class:

abstract class MyOrdered extends Ordered[MyOrdered] {
    def id: Int
    def compare(that : MyOrdered) : Int =
        if (         


        

Answer 1

Note: that latest commit for Scal 2.12.x (August 2016) might optimize things a bit in compiler/scala/tools/nsc/backend/jvm:

SD-192 Change scheme for trait super accessors

Rather than putting the code of a trait method body into a static method, leave it in the default method.
The static method (needed as the target of the super calls) now uses invokespecial to exactly call that method.