1 files changed, 61 insertions, 0 deletions
diff --git a/test/checker-tests/fail6.scala b/test/checker-tests/fail6.scala
new file mode 100644
index 0000000000..c59be55c4e
--- /dev/null
+++ b/test/checker-tests/fail6.scala
@@ -0,0 +1,61 @@
+// BoxedUnit/Unit confusion involving while.
+//
+// Apply( // sym=method while$1, tpe=Unit, tpe.sym=class Unit, tpe.sym.owner=package scala
+//   Ident("while$1"), // sym=method while$1, sym.owner=method f, sym.tpe=()Unit, tpe=()Unit, tpe.sym=<none>,
+class Erasure {
+  def f(b: Boolean) = {
+    if (b) "abc"
+    else while (b) ()
+  }
+}
+
+// % work/check all -Xprint:erasure work/fail6.scala
+// TypeStack init: REFERENCE(type AnyRef)
+// [Not checkable: parser]
+// [Not checkable: namer]
+// [Not checkable: packageobjects]
+// [Now checking: typer]
+// [Now checking: superaccessors]
+// [Now checking: pickler]
+// [Now checking: refchecks]
+// [Now checking: selectiveanf]
+// [Now checking: liftcode]
+// [Now checking: selectivecps]
+// [Now checking: uncurry]
+// [Now checking: tailcalls]
+// [Not checkable: specialize]
+// [Not checkable: explicitouter]
+// [[syntax trees at end of erasure]]// Scala source: fail6.scala
+// package <empty> {
+//   class Erasure extends java.lang.Object with ScalaObject {
+//     def this(): Erasure = {
+//       Erasure.super.this();
+//       ()
+//     };
+//     def f(b: Boolean): java.lang.Object = if (b)
+//       "abc"
+//     else
+//       while$1(){
+//         if (b)
+//           {
+//             ();
+//             while$1()
+//           }
+//         else
+//           ();
+//         scala.runtime.BoxedUnit.UNIT
+//       }
+//   }
+// }
+//
+// [Now checking: erasure]
+// work/fail6.scala:4: error:
+// **** ERROR DURING INTERNAL CHECKING ****
+// type mismatch;
+//  found   : scala.runtime.BoxedUnit
+//  required: Unit
+//     else while (b) ()
+//          ^
+// one error found
+//
+//