From 8881a98223832f28993263fcd147e2a7a1a51110 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 7 Mar 2016 15:11:19 +0100
Subject: More neg tests

Some random neg tests from previous experiments.
---
 tests/pending/neg/tate.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/pending/neg/tate.scala

(limited to 'tests/pending')

diff --git a/tests/pending/neg/tate.scala b/tests/pending/neg/tate.scala
new file mode 100644
index 000000000..d626ccd3f
--- /dev/null
+++ b/tests/pending/neg/tate.scala
@@ -0,0 +1,11 @@
+trait Out[+T]
+
+object Test {
+
+  def foo[T <% AnyRef](x: T) = ???
+
+  var x: Out[_ >: String] = ???
+  var y: Out[String] = ???
+  x = y // should give error, but currently masked by covariant alias representation
+ // y = x
+}
-- 
cgit v1.2.3