More tests

2 files changed, 32 insertions, 0 deletions

diff --git a/tests/pending/pos/contraImplicits.scala b/tests/pending/pos/contraImplicits.scala
new file mode 100644
index 000000000..c4d659615
--- /dev/null
+++ b/tests/pending/pos/contraImplicits.scala
@@ -0,0 +1,18 @@
+import scala.reflect._
+// this needs to be fleshed out further
+class Contra[-T]
+
+object Test {
+  def getParam[T](c: Contra[T])(implicit ct: ClassTag[T]): Unit = {
+    println(ct)
+    ct
+  }
+  def f[T](x: Contra[T]): Contra[T] = x
+
+  def main(args: Array[String]): Unit = {
+    val x = f(new Contra[Int])
+    val y: Contra[Int] = x
+    getParam(new Contra[Int])
+  }
+}
+
diff --git a/tests/pending/pos/depsel.scala b/tests/pending/pos/depsel.scala
new file mode 100644
index 000000000..2cec4349e
--- /dev/null
+++ b/tests/pending/pos/depsel.scala
@@ -0,0 +1,14 @@
+// demonstrates selection on non-path types. Needs to be fleshed out to
+// become a real test.
+object Test {
+
+  class C {
+    type T
+    val f: T => T = ???
+  }
+
+  var x = new C
+  val y = x.f
+
+
+}