Предположим, что существуют определения класса/признака следующим образом:
trait T1 {}
trait T2 {}
abstract class A{}
class B {}
class C extends A with T1 with T2 {}
val b = new B with T1
val c = new C
Учитывая экземпляр b и c, как мне получить информацию о наследовании (т.е. знать, что b реализует T1, а c реализует A, T1 и T2)?
Спасибо за вашу помощь.