`-quickfix` puts annotation before method parameter list

[mrdziuban]

Reproduction steps

Scala version: 2.13.12

With -Xsource:3 and -quickfix:any, this code is rewritten:

sealed trait Foo

trait HasFoo[A] {
  def getFoo(a: A): Foo
}

object HasFoo {
  implicit def fromFoo[F <: Foo]: HasFoo[F] =
    new HasFoo[F] {
      def getFoo(f: F) = f
    }
}

to this:

sealed trait Foo

trait HasFoo[A] {
  def getFoo(a: A): Foo
}

object HasFoo {
  implicit def fromFoo[F <: Foo]: HasFoo[F] =
    new HasFoo[F] {
      def getFoo: F(f: F) = f
    }
}

Problem

Note that def getFoo in the fromFoo instance has its return type annotated before its parameter list

[mrdziuban]

Whoops, just noticed this is a duplicate of #12860, closing in favor of that