3 files changed, 19 insertions, 0 deletions
diff --git a/test/neg/bug52.check b/test/neg/bug52.check
new file mode 100644
index 0000000000..cd4b5eccce
--- /dev/null
+++ b/test/neg/bug52.check
@@ -0,0 +1,6 @@
+bug52.scala:3: type mismatch;
+ found   : scala.Any
+ required: scala.Int
+  val y: Int = x(2);
+                ^
+one error found
diff --git a/test/neg/bug52.scala b/test/neg/bug52.scala
new file mode 100644
index 0000000000..e171022eb6
--- /dev/null
+++ b/test/neg/bug52.scala
@@ -0,0 +1,4 @@
+object test {
+  val x = if (2 == 3) (x: Int => 0) else (x: Int => "");
+  val y: Int = x(2);
+}
diff --git a/test/neg/refine.check b/test/neg/refine.check
new file mode 100644
index 0000000000..38d961bb34
--- /dev/null
+++ b/test/neg/refine.check
@@ -0,0 +1,9 @@
+refine.scala:3: method t overrides nothing
+  val x: Object { def t(): String } = new Object {
+                      ^
+refine.scala:3: type mismatch;
+ found   : scala.Object
+ required: scala.Object { def t(): java.lang.String }
+  val x: Object { def t(): String } = new Object {
+                                      ^
+two errors found