fsee message for 9732

2 files changed, 17 insertions, 0 deletions

diff --git a/test/files/pos/bug296.scala b/test/files/pos/bug296.scala
new file mode 100644
index 0000000000..0c267a307e
--- /dev/null
+++ b/test/files/pos/bug296.scala
@@ -0,0 +1,3 @@
+object Bug {
+  def foo (l: => String) : String = 12 match { case _ => l}
+}
diff --git a/test/files/pos/bug892.scala b/test/files/pos/bug892.scala
new file mode 100644
index 0000000000..41da7095bd
--- /dev/null
+++ b/test/files/pos/bug892.scala
@@ -0,0 +1,14 @@
+package test;
+object Test {
+  trait Core {
+    abstract class Visitor[T <: Visitor[T]];
+    trait HasVisitor {
+      def visit[T <: Visitor[T]](initial : T) : T;
+    }
+  }
+  trait Ext extends Core {
+    class Foo {
+      def visit[T <: Visitor[T]](initial : T) : T = initial;
+    }
+  }
+}