1 2 3 4 5 6 7 8 9
package p @A(subInterface = classOf[T.S]) trait T { } object T { private[p] trait S extends T { } }