1 files changed, 71 insertions, 0 deletions
diff --git a/test/checker-tests/fail11.scala b/test/checker-tests/fail11.scala
new file mode 100644
index 0000000000..d5f619c674
--- /dev/null
+++ b/test/checker-tests/fail11.scala
@@ -0,0 +1,71 @@
+// Constructor rewriting does not preserve ordering.
+// Oddly the error is not issued without the thrown exception, even
+// though the same reordering takes place.
+class Foo(x: Int) {
+  def this(x1: Int, x2: Int) = {
+    this(x1 + x2)
+    throw new Exception
+  }
+}
+
+// Here it is at lambda lift:
+//
+// [[syntax trees at end of lambdalift]]// Scala source: fail11.scala
+// package <empty> {
+//   class Foo extends java.lang.Object with ScalaObject {
+//     <paramaccessor> private[this] val x: Int = _;
+//     def this(x: Int): Foo = {
+//       Foo.super.this();
+//       ()
+//     };
+//     def this(x1: Int, x2: Int): Foo = {
+//       Foo.this.this(x1.+(x2));
+//       throw new java.lang.Exception();
+//       ()
+//     }
+//   }
+// }
+
+//
+// % scalac -d /tmp -Xprint:constr -Ycheck-debug -Ycheck:all test/checker-tests/fail11.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]
+// [Now checking: erasure]
+// [Now checking: lazyvals]
+// [Now checking: lambdalift]
+// [[syntax trees at end of constructors]]// Scala source: fail11.scala
+// package <empty> {
+//   class Foo extends java.lang.Object with ScalaObject {
+//     def this(x1: Int, x2: Int): Foo = {
+//       Foo.this.this(x1.+(x2));
+//       throw new java.lang.Exception();
+//       ()
+//     };
+//     def this(x: Int): Foo = {
+//       Foo.super.this();
+//       ()
+//     }
+//   }
+// }
+//
+// [Now checking: constructors]
+// test/checker-tests/fail11.scala:4: error:
+// **** ERROR DURING INTERNAL CHECKING ****
+// called constructor's definition must precede calling constructor's definition
+//     this(x1 + x2)
+//     ^
+// one error found