diff options
author | Martin Odersky <odersky@gmail.com> | 2008-12-08 19:06:16 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-12-08 19:06:16 +0000 |
commit | 0dde1442dca20cec6142d012b12398d99c1e6b82 (patch) | |
tree | 00cf4270efa5839b9744916ca6dba563b4e2c2dc /test/files/neg/variances.scala | |
parent | c8107b0d95890b29ffebe101fc54ce0885511de4 (diff) | |
download | scala-0dde1442dca20cec6142d012b12398d99c1e6b82.tar.gz scala-0dde1442dca20cec6142d012b12398d99c1e6b82.tar.bz2 scala-0dde1442dca20cec6142d012b12398d99c1e6b82.zip |
added comments; better errror messages; trace u...
added comments; better errror messages; trace utility
Diffstat (limited to 'test/files/neg/variances.scala')
-rw-r--r-- | test/files/neg/variances.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/files/neg/variances.scala b/test/files/neg/variances.scala index 393a3e0b7d..67783bc4aa 100644 --- a/test/files/neg/variances.scala +++ b/test/files/neg/variances.scala @@ -58,4 +58,16 @@ object Covariant { val x : java.lang.Character = test.a.getA Console.println("XXX " + x) } + + abstract class T[+A] { + val x: T[A] { + val m: A => A + } + } + object ST extends T[String] { + val x: T[String] { val m: String => String } = ST + val m: String => String = (_.substring(1)) + } + val t: T[Any] = ST + t.x.m(new Object) } |