Moved previously failing tests to pos

GADTs now work again (they stopped workign when we went to the inductive satisfiability checks).
The deep for expression also works, even with some more levels added.

1 files changed, 7 insertions, 0 deletions

diff --git a/tests/pos/t1208.scala b/tests/pos/t1208.scala
new file mode 100644
index 000000000..7b14aadca
--- /dev/null
+++ b/tests/pos/t1208.scala
@@ -0,0 +1,7 @@
+object Test {
+  object Foo
+  val f: Option[Foo.type] = Some(Foo)
+}
+
+// unsupported with current typing rules.
+// on the other hand, we need a way to refer to a module class.