t0117.scala:2: error: implementation restriction: traits may not select fields or methods from to super[C] where C is a class
trait B extends A { println(super[A].a) }
                            ^
one error found
