Expression type argument instantiation should n...

Expression type argument instantiation should not fail in a context
expecting Unit if there is any valid instantiation, because value
discarding should kick in and offer a literal (). Closes SI-4853, review
by odersky.

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