diff options
| author | Martin Odersky <odersky@gmail.com> | 2010-04-29 13:12:20 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2010-04-29 13:12:20 +0000 |
| commit | 8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b (patch) | |
| tree | 873b7a4f3ebd855ff76701e1b9b07c558cc78fbb /test/files/neg/variances.scala | |
| parent | d6178b3a1037fcad01e98f4e5cc9e77a51dbabbd (diff) | |
| download | scala-8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b.tar.gz scala-8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b.tar.bz2 scala-8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b.zip | |
Tightened variances check. Review by prokopec.
Diffstat (limited to 'test/files/neg/variances.scala')
| -rw-r--r-- | test/files/neg/variances.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/files/neg/variances.scala b/test/files/neg/variances.scala index 67783bc4aa..181783f48a 100644 --- a/test/files/neg/variances.scala +++ b/test/files/neg/variances.scala @@ -71,3 +71,11 @@ object Covariant { val t: T[Any] = ST t.x.m(new Object) } + +object TestAlias { + class B[-T] + trait C[+T] { + type A = T + def foo: B[A] + } +} |