diff options
author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2011-03-07 14:24:02 +0000 |
---|---|---|
committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2011-03-07 14:24:02 +0000 |
commit | b8c12031219e898d7e1b0750c37f6856b157da0e (patch) | |
tree | f5da5f48ec2d948263cf78a248044c52bbaafd2b /test/files/run/t4013b.scala | |
parent | 02e043c776114af40ce329a1b8741f9ae6bc5c8c (diff) | |
download | scala-b8c12031219e898d7e1b0750c37f6856b157da0e.tar.gz scala-b8c12031219e898d7e1b0750c37f6856b157da0e.tar.bz2 scala-b8c12031219e898d7e1b0750c37f6856b157da0e.zip |
Fixes and closes #4013.
No review.
Diffstat (limited to 'test/files/run/t4013b.scala')
-rw-r--r-- | test/files/run/t4013b.scala | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/files/run/t4013b.scala b/test/files/run/t4013b.scala new file mode 100644 index 0000000000..1262e261f5 --- /dev/null +++ b/test/files/run/t4013b.scala @@ -0,0 +1,20 @@ + + +trait Base[B] { + def data: AnyRef; +} + + +class M[@specialized(Int) A] + + +class Sub3[@specialized(Int) B](override val data: M[B]) extends Base[B] { + assert(data != null) +} + + +object Test { + def main(args: Array[String]) { + new Sub3[Int](new M[Int]) + } +} |