blob: c236b4f9ea21fd617da313e49f3e281fb2df27f3 (
plain) (
tree)
|
|
trait Web {
type LocalName
}
trait Companion1[A]
trait WebDSL[W <: Web] {
trait LocalNameCompanion extends Companion1[W#LocalName] {
type A = String
}
implicit val LocalName: LocalNameCompanion
}
object Test {
def t[W <: Web](implicit webDSL: WebDSL[W]): Unit = {
import webDSL._
implicitly[LocalNameCompanion] // succeeds
implicitly[Companion1[W#LocalName]] // fails
}
}
|