1 files changed, 11 insertions, 0 deletions
diff --git a/tests/pos/pos_valueclasses/value-class-override-spec.scala b/tests/pos/pos_valueclasses/value-class-override-spec.scala
new file mode 100644
index 000000000..c315be8d0
--- /dev/null
+++ b/tests/pos/pos_valueclasses/value-class-override-spec.scala
@@ -0,0 +1,11 @@
+package value_class_override_spec
+
+// There are two versions of this tests: one with and one without specialization.
+// The bug was only exposed *without* specialization.
+trait T extends Any {
+  def x: Any
+}
+
+final class StringOps(val repr0: String) extends AnyVal with T {
+  def x = ()
+}