6 files changed, 37 insertions, 0 deletions
diff --git a/test/files/pos/t5504/s_1.scala b/test/files/pos/t5504/s_1.scala
new file mode 100644
index 0000000000..35cb2c8bae
--- /dev/null
+++ b/test/files/pos/t5504/s_1.scala
@@ -0,0 +1,4 @@
+// a.scala
+package object foo {
+  val m: List[_] = Nil
+}
diff --git a/test/files/pos/t5504/s_2.scala b/test/files/pos/t5504/s_2.scala
new file mode 100644
index 0000000000..03eecf6e19
--- /dev/null
+++ b/test/files/pos/t5504/s_2.scala
@@ -0,0 +1,8 @@
+// b.scala
+package foo
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    println(foo.m)
+  }
+}
diff --git a/test/files/pos/t5957/T_1.scala b/test/files/pos/t5957/T_1.scala
new file mode 100644
index 0000000000..1db5a3891f
--- /dev/null
+++ b/test/files/pos/t5957/T_1.scala
@@ -0,0 +1,6 @@
+abstract class T {
+  def t1: Test$Bar
+  def t2: Test#Bar
+  def t3: Test$Baz
+  def t4: Test.Baz
+}
diff --git a/test/files/pos/t5957/Test.java b/test/files/pos/t5957/Test.java
new file mode 100644
index 0000000000..4fbd257d95
--- /dev/null
+++ b/test/files/pos/t5957/Test.java
@@ -0,0 +1,11 @@
+public class Test {
+  public class Bar {
+    public Bar(int i) {
+    }
+  }
+
+  public static class Baz {
+    public Baz(int i) {
+    }
+  }
+}
diff --git a/test/files/pos/t6022.flags b/test/files/pos/t6022.flags
new file mode 100644
index 0000000000..e8fb65d50c
--- /dev/null
+++ b/test/files/pos/t6022.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
+\ No newline at end of file
diff --git a/test/files/pos/t6022.scala b/test/files/pos/t6022.scala
new file mode 100644
index 0000000000..522c3352c7
--- /dev/null
+++ b/test/files/pos/t6022.scala
@@ -0,0 +1,7 @@
+class Test {
+  (null: Any) match {
+    case x: AnyRef if false =>
+    case list: Option[_] =>
+    case product: Product => // change Product to String and it's all good
+  }
+}
+\ No newline at end of file