blob: 540ba243bd160e06929abac87a403b93f2a20c81 (
plain) (
tree)
|
|
package test.scaladoc.template.owners
trait X {
/** @template */
type Symbol >: Null <: SymbolApi
/** @template */
type TypeSymbol >: Null <: Symbol with TypeSymbolApi
/** @template */
type TermSymbol >: Null <: Symbol with TermSymbolApi
/** @template */
type MethodSymbol >: Null <: TermSymbol with MethodSymbolApi
trait SymbolApi { this: Symbol => def x: Int}
trait TermSymbolApi extends SymbolApi { this: TermSymbol => def y: Int}
trait TypeSymbolApi extends SymbolApi { this: TypeSymbol => def z: Int}
trait MethodSymbolApi extends TermSymbolApi { this: MethodSymbol => def t: Int }
}
trait Y extends X
trait Z extends Y
trait T extends Z
|