From d97f7d95436d88e2c6a1e2ed3599f4847ca8662c Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 8 Aug 2012 19:05:49 +0200 Subject: SI-6184 don't introduce dummies in checkableType this should fix the crash in asSeenFrom that resulted from calling baseTypeSeq on a type that had an unbound type parameter in it also, simplify widenToClass --- test/files/pos/t6184.scala | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test/files/pos/t6184.scala (limited to 'test/files/pos/t6184.scala') diff --git a/test/files/pos/t6184.scala b/test/files/pos/t6184.scala new file mode 100644 index 0000000000..83a1306aca --- /dev/null +++ b/test/files/pos/t6184.scala @@ -0,0 +1,7 @@ +trait Foo[TroubleSome] { + type T <: Foo[TroubleSome] + + this match { + case e: Foo[_]#T => ??? + } +} \ No newline at end of file -- cgit v1.2.3