From 9dfcfa9f390156282e8464fcf6c48e099503ef3a Mon Sep 17 00:00:00 2001
From: Liu Fengyun <liu@fengy.me>
Date: Thu, 29 Apr 2021 19:02:57 +0200
Subject: [PATCH] Fix #10549: Add test

---
 tests/init/neg/i10549b.scala | 9 +++++++++
 tests/init/pos/i10549a.scala | 7 +++++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/init/neg/i10549b.scala
 create mode 100644 tests/init/pos/i10549a.scala

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)
+  }
+}