3.7 regression - false negative warning: unused imports

[OndrejSpanel]

I have tested 3.6.4 briefly against my project and to my dismay I have the sad duty to report a regression here. The code compiles without any warnings in 3.6.3.

I was not able to find a repro without external dependency yet, I guess some macros are needed for the issue to happen.

Compiler version

3.6.4-RC1, 3.6.4-RC2

Minimized code

import io.bullet.borer.*
import io.bullet.borer.derivation.MapBasedCodecs.*
import Settings.*

object Settings:
  given codec: Codec[Settings] = deriveCodec
  def x = 0

case class Settings(value: Double = x)

build.sbt:

scalaVersion := "3.6.4-RC1"

name := "Sandbox"

libraryDependencies += "io.bullet" %% "borer-core" % "1.15.0"
libraryDependencies += "io.bullet" %% "borer-derivation" % "1.15.0"

scalacOptions ++= Seq("-Xfatal-warnings", "-Wunused:imports")

Result

C:\Dev\Sandbox\src\main\scala\Settings.scala:3:17
unused import
import Settings.*

Expectation

The import is not unused, in fact the code does not compile without the import.

Repro

Scastie link to repro: https://scastie.scala-lang.org/OndrejSpanel/bHJcv9AhSS2DODsdcQFvAw/5

[OndrejSpanel]

The same warning is reported when using circe instead of borer:

import io.circe.*
import io.circe.generic.semiauto.*
import Settings.*

object Settings:
  given codec: Codec[Settings] = deriveCodec
  def x = 0

case class Settings(value: Double = x)

scalaVersion := "3.6.4-RC1"

name := "Sandbox"

libraryDependencies += "io.circe" %% "circe-core" % "0.14.10"
libraryDependencies += "io.circe" %% "circe-generic" % "0.14.10"

scalacOptions ++= Seq("-Xfatal-warnings", "-Wunused:imports")

[som-snytt]

s/sad duty/solemn duty
also
s/-Xfatal-warnings/-Werror

Thanks for the report, the improved lint is more ambitious about helping with various compiletime constructs.

[som-snytt]

scalaVersion := "3.6.4-RC1"

name := "Sandbox"

libraryDependencies += "io.circe" %% "circe-core" % "0.14.10"
libraryDependencies += "io.circe" %% "circe-generic" % "0.14.10"

scalacOptions ++= Seq("-Werror", "-Wunused:imports")
//scalacOptions ++= Seq("-Wunused:imports")
scalacOptions ++= Seq("-Vprint:typer,inlining")
//scalacOptions ++= Seq("-Vprint:typer,inlining", "-Yplain-printer")

➜  i22690 git:(main) ✗ cat src/main/scala/i22690.scala

import io.circe.*
import io.circe.generic.semiauto.*
//import Settings.*

object Settings:
  given codec: Codec[Settings] = deriveCodec
  def x = 0

case class Settings(value: Double = x)

The project compiles cleanly. More info about the use case, what the import is intended to do, etc, would be welcome.

[success] Total time: 4 s, completed Mar 2, 2025, 8:50:50 AM

Sadly, I must close for want of a reproduction; I will have no more interesting bug to pursue this afternoon.

[som-snytt]

I'm not sure what the screen shot is a picture of. I just thought to retry with RC2, same result.

Don't neglect to clean before trying to build after a version change. Don't trust the IDE.

[som-snytt]

Wait, I see I pasted wrong.

[som-snytt]

Same result.

Tried the borer example, same result.

[som-snytt]

Actually, I don't see that the improved lint was backported to 3.6.

3.7 doesn't warn with or without the import.

The algorithm must accept the "outermost" matching element (since the code typechecks, and it doesn't have nesting levels, it can't compare all imports with fidelity). Worth checking if this example is a "false negative" in 3.7 that could be tightened up.

Certain redundant imports can't be declared "unused" for this reason. (A formatter or refactoring tool could do that.)

Edit: after deleting the ctor default arg (which are members of the companion), it seems to look up $asInstanceOf$ in the import. I'm not entirely enlightened on the fine points of that synthetic member, but it should not resolve here.

A not-null assertion for reference `x` has the form `x.$asInstanceOf$[x.type & T]`.