blob: f227ef36e63ce2c579d986006995140424636af1 (
plain) (
tree)
|
|
object Animal {
def main(args: Array[String]): Unit = { new Animal[Awake].goToSleep }
}
class Animal[A <: AwakeOrAsleep] {
def goToSleep[B >: A <: Awake]: Animal[Asleep] = new Animal[Asleep]
def wakeUp[B >: A <: Asleep]: Animal[Awake] = new Animal[Awake]
}
sealed trait AwakeOrAsleep
trait Awake extends AwakeOrAsleep
trait Asleep extends AwakeOrAsleep
|