diff --git a/tests/init/neg/i10549b.scala b/tests/init/neg/i10549b.scala
new file mode 100644
index 000000000000..7353844b3927
--- /dev/null
+++ b/tests/init/neg/i10549b.scala
@@ -0,0 +1,9 @@
+class Wrap {
+  def qux[T](e: E[T]) = e.foo
+
+  abstract class E[+T] { def foo: T }
+  object E {
+    final val A: E[Nothing] = new E { def foo = ref }
+    val ref = qux(A)      // error
+  }
+}
diff --git a/tests/init/pos/i10549a.scala b/tests/init/pos/i10549a.scala
new file mode 100644
index 000000000000..23ccbff747f4
--- /dev/null
+++ b/tests/init/pos/i10549a.scala
@@ -0,0 +1,7 @@
+class Wrap {
+  class E
+  object E {
+    final val A = new E {}
+    val $values = Array(A)
+  }
+}