From e51b8845fb20fe3a4e1c655d4b72e2833906bbc2 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 20 Dec 2015 22:00:29 +0100 Subject: The big pending/pos test triage --- tests/pos/tcpoly_variance_pos.scala | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/pos/tcpoly_variance_pos.scala (limited to 'tests/pos/tcpoly_variance_pos.scala') diff --git a/tests/pos/tcpoly_variance_pos.scala b/tests/pos/tcpoly_variance_pos.scala new file mode 100644 index 000000000..b63abce20 --- /dev/null +++ b/tests/pos/tcpoly_variance_pos.scala @@ -0,0 +1,7 @@ +class A[m[+x]] { + def str: m[Object] = sys.error("foo") +} + +class B[m[+x]] extends A[m] { + override def str: m[String] = sys.error("foo") +} -- cgit v1.2.3