Bring back tests from disabled.

The tests in this commit pos were verified to work again.

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/pos/t1237.scala b/tests/pos/t1237.scala
new file mode 100644
index 000000000..31ba2966a
--- /dev/null
+++ b/tests/pos/t1237.scala
@@ -0,0 +1,14 @@
+class HelloWorld {
+  def main(args: Array[String]): Unit = {
+
+    object TypeBool;
+
+    trait Fct {
+      def g(x : Int) = TypeBool // breaks.
+
+      //    def g(x : Int) = 3 // fine.
+    }
+
+    ()
+  }
+}