diff options
Diffstat (limited to 'tests/untried/neg/tcpoly_variance.scala')
| -rw-r--r-- | tests/untried/neg/tcpoly_variance.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/untried/neg/tcpoly_variance.scala b/tests/untried/neg/tcpoly_variance.scala new file mode 100644 index 000000000..4b9bd50e0 --- /dev/null +++ b/tests/untried/neg/tcpoly_variance.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") // since x in m[x] is invariant, ! m[String] <: m[Object] +} |