diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-03-07 15:11:19 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-03-12 16:08:38 +0100 |
| commit | 8881a98223832f28993263fcd147e2a7a1a51110 (patch) | |
| tree | 2651f81591baf8667e540d510815a72bd1d61a1c /tests/pending | |
| parent | e61cd1bcf772691e8bb313d40ac6b14a412ff053 (diff) | |
| download | dotty-8881a98223832f28993263fcd147e2a7a1a51110.tar.gz dotty-8881a98223832f28993263fcd147e2a7a1a51110.tar.bz2 dotty-8881a98223832f28993263fcd147e2a7a1a51110.zip | |
More neg tests
Some random neg tests from previous experiments.
Diffstat (limited to 'tests/pending')
| -rw-r--r-- | tests/pending/neg/tate.scala | 11 |
1 files changed, 11 insertions, 0 deletions
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 +} |