Aldo Stracquadanio

Same problem on version 2.2.0 and not just for the trailing parameters but also for the middle ones. In the following: ``` ### Article updates [/articles/{articleId}/updates/{updateNumber}] This resource is used...

I managed to get it working on Vundle by adding in my .vimrc the following: ``` source ~/.vim/bundle/vim-sbt/plugin/sbtquickfix.vim ``` Not really optimal, but getting there...

Is this a problem with scalaz tagged types only? I am experiencing the same issue with shapeless `@@` as well, maybe if that's the case the ticket should be renamed...

This is the code that is failing: ``` implicit def taggedReadable[A, T, M[_, _]]( implicit r: Lazy[Readable[A]], ev: @@[A, T] =:= M[A, T] ): Readable[M[A, T]] = new Readable[M[A, T]]...

This is a standalone version of the problem: ``` sealed trait Readable[T] object Readable { implicit def taggedReadable[A, T, M[_, _]]( implicit r: Lazy[Readable[A]], ev: @@[A, T] =:= M[A, T]...

No problems, thanks!

Also affects 2.11.11 of typelevel-4; this is how I can recreate it using circe: https://github.com/circe/circe/issues/710 It also happens in other situations, not necessarily using the `deriveEncoder` function: ``` import io.circe.Encoder...