diff options
author | Martin Odersky <odersky@gmail.com> | 2009-08-10 15:28:12 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-08-10 15:28:12 +0000 |
commit | fe52cb070db7321ab515c4758daa4f9bd187608a (patch) | |
tree | ee89343201b399980ce3cfef997523b5942276d8 /test | |
parent | 1e15c075c1ae03cf1d356e45606894efdc57093a (diff) | |
download | scala-fe52cb070db7321ab515c4758daa4f9bd187608a.tar.gz scala-fe52cb070db7321ab515c4758daa4f9bd187608a.tar.bz2 scala-fe52cb070db7321ab515c4758daa4f9bd187608a.zip |
Fixed #1642
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/implicits.scala | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/files/neg/implicits.scala b/test/files/neg/implicits.scala index 710ffc94fc..056e0be6ca 100644 --- a/test/files/neg/implicits.scala +++ b/test/files/neg/implicits.scala @@ -20,3 +20,20 @@ object Test { def f(x: int): int = x f(p+1) } + +object test2 { + sealed trait HMap { + def +[T](v: T) = HSome(v,this) + } + + final case class HSome[T, L <: HMap](head: T, tail: L) extends HMap + + final object HEmpty extends HMap + + val set = HEmpty + 3 + "3" + implicit def select[T](t: HSome[T,_]) = t.head + implicit def selectTail[L](t: HSome[_,L]) = t.tail + + def foo(x: Int) = 3 + foo(set) +} |