From e150c1dd7e8d0d312101bce65d0499500235d02d Mon Sep 17 00:00:00 2001
From: Sean McDirmid <sean.mcdirmid@gmail.com>
Date: Sun, 26 Nov 2006 15:46:06 +0000
Subject: Files related to bug reports

---
 test/pending/pos/bug112606A.scala | 25 +++++++++++++++++++++++++
 test/pending/pos/bug112606B.scala | 11 +++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 test/pending/pos/bug112606A.scala
 create mode 100644 test/pending/pos/bug112606B.scala

(limited to 'test/pending')

diff --git a/test/pending/pos/bug112606A.scala b/test/pending/pos/bug112606A.scala
new file mode 100644
index 0000000000..5bf532f8dd
--- /dev/null
+++ b/test/pending/pos/bug112606A.scala
@@ -0,0 +1,25 @@
+package test;
+trait Test {
+  trait Global {
+    type Tree;
+    def get : Tree;
+  }
+  trait TreeBuilder {
+    val global : Global;
+    def set(tree : global.Tree) = {}
+  }
+  val nsc : Global;
+  trait FileImpl {
+    object treeBuilder extends TreeBuilder {
+      val global : nsc.type = nsc;
+    }
+    // ok
+    treeBuilder.set(nsc.get);
+  }
+  val file0 : FileImpl;
+  // ok
+  file0.treeBuilder.set(nsc.get);
+  def file : FileImpl;
+  // type mismatch
+  file.treeBuilder.set(nsc.get);
+}
diff --git a/test/pending/pos/bug112606B.scala b/test/pending/pos/bug112606B.scala
new file mode 100644
index 0000000000..6dfaf4bf01
--- /dev/null
+++ b/test/pending/pos/bug112606B.scala
@@ -0,0 +1,11 @@
+package test;
+trait Test2 {
+  case class Token(text : String);
+  class KeywordToken(text : String) extends Token(text);
+  def decode(tok : KeywordToken) = tok match {
+  // constructor cannot be instantiated to expected type;
+  //  found   : Test2.this.Token
+  //  required: Test2.this.KeywordToken
+  case Token("final") => true;
+  }
+}
-- 
cgit v1.2.3