diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2016-08-29 13:55:10 +1000 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2016-08-29 13:57:25 +1000 |
| commit | 8ef3e6e47098786f9522ebcaffaa261d8f240308 (patch) | |
| tree | 49e7c35a223b7ffad64fbc684daffcac7303d14b /test/pending | |
| parent | 036a9bbd0be2b71fc9d60954fd0b1b64c9a181af (diff) | |
| download | scala-8ef3e6e47098786f9522ebcaffaa261d8f240308.tar.gz scala-8ef3e6e47098786f9522ebcaffaa261d8f240308.tar.bz2 scala-8ef3e6e47098786f9522ebcaffaa261d8f240308.zip | |
Address review feedback: comments, renames and extra test
Diffstat (limited to 'test/pending')
| -rw-r--r-- | test/pending/neg/t8079d.check | 4 | ||||
| -rw-r--r-- | test/pending/neg/t8079d.scala | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/test/pending/neg/t8079d.check b/test/pending/neg/t8079d.check new file mode 100644 index 0000000000..f63f4902f8 --- /dev/null +++ b/test/pending/neg/t8079d.check @@ -0,0 +1,4 @@ +t8079d.scala:3: error: contravariant type I occurs in covariant position in type C.this.X of value b + def f2(b: X): Unit + ^ +one error found diff --git a/test/pending/neg/t8079d.scala b/test/pending/neg/t8079d.scala new file mode 100644 index 0000000000..ad420b99e3 --- /dev/null +++ b/test/pending/neg/t8079d.scala @@ -0,0 +1,4 @@ +trait C[-I] { + protected[this] type X = C[I] + def f2(b: X): Unit +} |