1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/pos/tcpoly_variance_pos.scala b/test/files/pos/tcpoly_variance_pos.scala
new file mode 100644
index 0000000000..b641716d50
--- /dev/null
+++ b/test/files/pos/tcpoly_variance_pos.scala
@@ -0,0 +1,7 @@
+class A[m[+x]] {
+ def str: m[Object] = error("foo")
+}
+
+class B[m[+x]] extends A[m] {
+ override def str: m[String]  = error("foo")
+}