diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-19 21:43:53 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-19 21:43:53 +0000 |
commit | 87b1b727692fca063882dd81fcfb219e955aa1a8 (patch) | |
tree | a46487ba40998e13690758bc9e3fa9dc0698b162 /test/files/pos/bug4018.scala | |
parent | 3299ee0046fd920c3c6bfc386c73685059ba13ba (diff) | |
download | scala-87b1b727692fca063882dd81fcfb219e955aa1a8.tar.gz scala-87b1b727692fca063882dd81fcfb219e955aa1a8.tar.bz2 scala-87b1b727692fca063882dd81fcfb219e955aa1a8.zip |
Fixed an issue with higher kinded type inferenc...
Fixed an issue with higher kinded type inference on constructors without
any help from adriaan. Provisionally notched belt. Wrapped up as many
tickets as I added characters of code. Closes SI-3343, SI-4018. Review
by moors.
Diffstat (limited to 'test/files/pos/bug4018.scala')
-rw-r--r-- | test/files/pos/bug4018.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/bug4018.scala b/test/files/pos/bug4018.scala new file mode 100644 index 0000000000..2b265c5717 --- /dev/null +++ b/test/files/pos/bug4018.scala @@ -0,0 +1,15 @@ +trait M[V[_]] + +class Cls[V[_]](c: M[V]) + +object Cls{ + def apply[V[_]](c: M[V]): Cls[V] = new Cls[V](c) +} + +object test { + val c: M[Option] = new M[Option] {} + new Cls(c) // does not infer. + new Cls[Option](c) // okay + Cls(c) // okay +} + |