1 files changed, 11 insertions, 0 deletions
diff --git a/tests/untried/pos/infer.scala b/tests/untried/pos/infer.scala
new file mode 100644
index 000000000..6aeed4049
--- /dev/null
+++ b/tests/untried/pos/infer.scala
@@ -0,0 +1,11 @@
+object test {
+  class List[+a] {
+    def ::[b >: a](x: b): List[b] = new Cons(x, this)
+  }
+  case class Cons[a, b <: a](x: a, xs: List[b]) extends List[a]
+  case object Nil extends List[Nothing]
+  def nil[n]: List[n] = Nil
+  def cons[a](x: a, xs: List[a]): List[a] = null
+  val x: List[Int] = Nil.::(1)
+  val y: List[Int] = nil.::(1)
+}