Problems calling method that takes implicit parameter on implicitly converted object if conversion function used higher kinded inference.

[scabug]

minimal test case via SVN: http://scalaz.googlecode.com/svn/branches/hk-infer-bug/scalaz5/

In particular:

http://code.google.com/p/scalaz/source/browse/branches/hk-infer-bug/scalaz5/src/main/scalaz/HigherKindInferenceBug.scala

Smells like #2429, as discussed http://permalink.gmane.org/gmane.comp.lang.scala.internals/1816

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-2719?orig=1
Reporter: @retronym

[scabug]

@retronym said:
I can't reproduce this at all with the latest nightlies. I managed to reproduce 1/10 times with an older nightly, but I'm not sure how! Possibly I had had some .class files from different versions of the compiler. If it comes up again I'll be more careful in generating a test case...