blob: d8c1d5e51c47b4307b0caf6c983e7c3aa4b9104d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
class Test {
type AnyCyclic = Execute[Task]#CyclicException[_]
trait Task[T]
trait Execute[A[_] <: AnyRef] {
class CyclicException[T](val caller: A[T], val target: A[T])
}
def convertCyclic(c: AnyCyclic): String =
(c.caller, c.target) match {
case (caller: Task[_], target: Task[_]) => "bazinga!"
}
}
|