diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-02-26 09:16:22 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-02-26 09:16:22 +0000 |
| commit | cc9e8eda3364dcb7bf5b92a3d3824b66c85ef05f (patch) | |
| tree | faeea05030f6e003f8560acf74e807462fe4714b /test/files/pos/t2797.scala | |
| parent | 1911d4e96a7681d86d4735a63832a04cac0fb7a4 (diff) | |
| download | scala-cc9e8eda3364dcb7bf5b92a3d3824b66c85ef05f.tar.gz scala-cc9e8eda3364dcb7bf5b92a3d3824b66c85ef05f.tar.bz2 scala-cc9e8eda3364dcb7bf5b92a3d3824b66c85ef05f.zip | |
closes #2797 -- no review (already done in tick...
closes #2797 -- no review (already done in ticket by Martin)
1) isHigherKindedType is now false for singletontype 2) toInstance
recurses when pre is a typevar: the problem is that pre.widen.typeSymbol
isNonBottomSubClass symclazz is true while pre.baseType(symclazz) is
NoType
Diffstat (limited to 'test/files/pos/t2797.scala')
| -rw-r--r-- | test/files/pos/t2797.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/pos/t2797.scala b/test/files/pos/t2797.scala new file mode 100644 index 0000000000..4323664e91 --- /dev/null +++ b/test/files/pos/t2797.scala @@ -0,0 +1,9 @@ +class MyVector[A] { + def map[B](f: A => B): MyVector[B] = error("") +} + +object Test { + def unzip[B, C](_this: MyVector[(B, C)]): (MyVector[B], MyVector[C]) = { + (_this.map{ bc => bc._1 }, _this.map{ bc => bc._2 }) + } +}
\ No newline at end of file |