diff options
Diffstat (limited to 'tests/pending/pos/t4853.scala')
-rw-r--r-- | tests/pending/pos/t4853.scala | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tests/pending/pos/t4853.scala b/tests/pending/pos/t4853.scala deleted file mode 100644 index f227ef36e..000000000 --- a/tests/pending/pos/t4853.scala +++ /dev/null @@ -1,12 +0,0 @@ -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 |