diff options
author | Antonio Cunei <antonio.cunei@epfl.ch> | 2010-05-26 14:14:12 +0000 |
---|---|---|
committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2010-05-26 14:14:12 +0000 |
commit | e239d7fa5b9de5edffb06022c4cc5a9c105a51d3 (patch) | |
tree | 5aac86ae523db164174e39c900a5d2c5ad094075 /test/files/pos/spec-doubledef.scala | |
parent | c932ec58f9e6fc90c9497bb4cbfb09f2b398e7ea (diff) | |
download | scala-e239d7fa5b9de5edffb06022c4cc5a9c105a51d3.tar.gz scala-e239d7fa5b9de5edffb06022c4cc5a9c105a51d3.tar.bz2 scala-e239d7fa5b9de5edffb06022c4cc5a9c105a51d3.zip |
svnmerge + tags
Diffstat (limited to 'test/files/pos/spec-doubledef.scala')
-rw-r--r-- | test/files/pos/spec-doubledef.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/spec-doubledef.scala b/test/files/pos/spec-doubledef.scala new file mode 100644 index 0000000000..014f683065 --- /dev/null +++ b/test/files/pos/spec-doubledef.scala @@ -0,0 +1,14 @@ +object Test { + def fn[@specialized T, @specialized U](t : T => Int, u : U => Int) : T = + null.asInstanceOf[T] +} + +trait A[@specialized(Int) T] { + var value: T + def getWith[@specialized(Int) Z](f: T => Z) = f(value) +} + +class C extends A[Int] { + var value = 10 + override def getWith[@specialized(Int) Z](f: Int => Z) = f(value) +} |