Closes SI-5969.

Assumption that we enter tryTwice when inferring
the right alternative with an empty buffer is
wrong.
In this particular bug it manifested itself on
if/then/else which share the same context and 'else'
branch was simply flushing the buffer with an
error from the 'then' branch.

1 files changed, 11 insertions, 0 deletions

diff --git a/test/files/neg/t5969.scala b/test/files/neg/t5969.scala
new file mode 100644
index 0000000000..62f87fd7ab
--- /dev/null
+++ b/test/files/neg/t5969.scala
@@ -0,0 +1,11 @@
+class C1
+class C2
+class A {
+  def f(x: Any) = x
+  def g(x: C1): String = "A"
+  def g(x: C2): String = "B"
+  
+  def crash() = f(List[String]() flatMap { x =>
+    if (false) List(g(x)) else List[C1]() map g
+  })
+}