diff options
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/bug4853.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/files/pos/bug4853.scala b/test/files/pos/bug4853.scala new file mode 100644 index 0000000000..c91f2d6b05 --- /dev/null +++ b/test/files/pos/bug4853.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 |