diff options
author | Martin Odersky <odersky@gmail.com> | 2011-10-31 13:29:10 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2011-10-31 13:29:10 +0000 |
commit | 1f3fe09a786b389adcc1425cfd166bc6c3e361b0 (patch) | |
tree | be678b8a7c7621de2cdffc56750e812e5932fb32 /test/files | |
parent | 2d3fe5733cbc6bcf06892c8ee3cb19f7987f6b6a (diff) | |
download | scala-1f3fe09a786b389adcc1425cfd166bc6c3e361b0.tar.gz scala-1f3fe09a786b389adcc1425cfd166bc6c3e361b0.tar.bz2 scala-1f3fe09a786b389adcc1425cfd166bc6c3e361b0.zip |
Closes #5127. Review by extempore.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/t5127.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/files/pos/t5127.scala b/test/files/pos/t5127.scala new file mode 100644 index 0000000000..c562025302 --- /dev/null +++ b/test/files/pos/t5127.scala @@ -0,0 +1,8 @@ +package foo { + trait Abstract1[C <: Abstract2[C]] + trait Abstract2[C <: Abstract2[C]] extends Abstract1[C] + class Parametrized1[T] extends Abstract1[Parametrized2[T]] { + def bar(a: AnyRef) { a match { case d: Parametrized1[_] => println("ok") } } + } + class Parametrized2[T] extends Parametrized1[T] with Abstract2[Parametrized2[T]] +} |