False positive "unused implicit parameter" warning in Scala 3.7.0

[CJSmith-0141]

Compiler version

3.7.0

Minimized code

//> using scala 3.7.0

//> using scalacOption -Werror
//> using scalacOption -Wunused:explicits
//> using scalacOption -Wunused:imports
//> using scalacOption -Wunused:locals
//> using scalacOption -Wunused:params
//> using scalacOption -Wunused:privates
//> using scalacOption -Wvalue-discard

trait HaveThis[F[_]]
trait AndThat[F[_]]

trait SomeTrait[F[_]]:
  def withUsingParams(using HaveThis[F], AndThat[F]): F[Unit]

class MyImpl() extends SomeTrait[Option]:
  override def withUsingParams(using HaveThis[Option], AndThat[Option]): Option[Unit] = Some(())

Output

❯ scala-cli compile Myscript.scala
Compiling project (Scala 3.7.0, JVM (21))
[error] ./Myscript.scala:18:38
[error] unused implicit parameter
[error]   override def withUsingParams(using HaveThis[Option], AndThat[Option]): Option[Unit] = Some(())
[error]                                      ^
[error] ./Myscript.scala:18:56
[error] unused implicit parameter
[error]   override def withUsingParams(using HaveThis[Option], AndThat[Option]): Option[Unit] = Some(())
[error]                                                        ^
Error compiling project (Scala 3.7.0, JVM (21))

Expectation

It is obvious from looking at this code that these implicit parameters are not getting used, but if you remove them you are no longer implementing the trait. I can get around this by naming the param and adding unused, but this feels like it shouldn't be needed.

//> using scala 3.7.0

//> using scalacOption -Werror
//> using scalacOption -Wunused:explicits
//> using scalacOption -Wunused:imports
//> using scalacOption -Wunused:locals
//> using scalacOption -Wunused:params
//> using scalacOption -Wunused:privates
//> using scalacOption -Wvalue-discard
import scala.annotation.unused

trait HaveThis[F[_]]
trait AndThat[F[_]]

trait SomeTrait[F[_]]:
  def withUsingParams(using HaveThis[F], AndThat[F]): F[Unit]

class MyStubImpl() extends SomeTrait[Option]:
  override def withUsingParams(using
      @unused a: HaveThis[Option],
      @unused b: AndThat[Option]
  ): Option[Unit] = Some(())

[som-snytt]

The heuristic for overrides was restored. Also marker traits are excluded, so I verified this does not warn:

//> using scala 3.7.1-RC1
//> using options -Wall

trait HaveThis[F[_]]:
  def thing1: Nothing
trait AndThat[F[_]]:
  def thing2: Nothing

trait SomeTrait[F[_]]:
  def withUsingParams(using HaveThis[F], AndThat[F]): F[Unit]

class MyImpl() extends SomeTrait[Option]:
  override def withUsingParams(using HaveThis[Option], AndThat[Option]): Option[Unit] = Some(())

trait Another:
  this: SomeTrait[Option] =>
  override def withUsingParams(using HaveThis[Option], AndThat[Option]): Option[Unit] = None