diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-08-08 19:05:49 +0200 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-08-09 09:40:08 +0200 |
| commit | d97f7d95436d88e2c6a1e2ed3599f4847ca8662c (patch) | |
| tree | 3ad819c6fc84663e9c0f6d5ed833510f4bf65dde /test/files/pos/t6184.scala | |
| parent | 5fc4057c7706ec1efa13a5f892a6d40de61ab970 (diff) | |
| download | scala-d97f7d95436d88e2c6a1e2ed3599f4847ca8662c.tar.gz scala-d97f7d95436d88e2c6a1e2ed3599f4847ca8662c.tar.bz2 scala-d97f7d95436d88e2c6a1e2ed3599f4847ca8662c.zip | |
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
Diffstat (limited to 'test/files/pos/t6184.scala')
| -rw-r--r-- | test/files/pos/t6184.scala | 7 |
1 files changed, 7 insertions, 0 deletions
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 |