1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
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
|
