From 1f3fe09a786b389adcc1425cfd166bc6c3e361b0 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 31 Oct 2011 13:29:10 +0000 Subject: Closes #5127. Review by extempore. --- test/files/pos/t5127.scala | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 test/files/pos/t5127.scala (limited to 'test/files/pos/t5127.scala') 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]] +} -- cgit v1.2.3