From b9785280a7138a2bb52060faf94807aa0d07dec1 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Wed, 24 Aug 2011 17:11:55 +0000 Subject: Renamed tests named bugXXX to tXXX, no review. --- test/files/pos/t4853.scala | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 test/files/pos/t4853.scala (limited to 'test/files/pos/t4853.scala') diff --git a/test/files/pos/t4853.scala b/test/files/pos/t4853.scala new file mode 100644 index 0000000000..c91f2d6b05 --- /dev/null +++ b/test/files/pos/t4853.scala @@ -0,0 +1,12 @@ +object Animal { + def main(args: Array[String]) { 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 -- cgit v1.2.3