Scala 2.13.3 regression: `recursive value x$19 needs type` when applying functions with implicit parameters

[neko-kai]

reproduction steps

To reproduce execute:

git clone https://github.com/zio/izumi-reflect.git -b bug/scala-2.13.3-regression
cd izumi-reflect
sbt '++2.13.3 test'

problem

Compilation fails with error:

[error] /private/tmp/izumi-reflect/izumi-reflect/izumi-reflect/src/main/scala/izumi/reflect/macrortti/LightTypeTag.scala:294:22: recursive value x$19 needs type
[error]         Tuple2Pickler[AbstractReference, AbstractReference].pickle((obj.bottom, obj.top))
[error]                      ^
[error] one error found
[error] (izumi-reflect / Compile / compileIncremental) Compilation failed

expectation

compilation succeeds on 2.13.2, 2.11.12, 2.12.12 & 0.26.0-RC1 but fails immediately on the commit updating to 2.13.3 (bug/scala-2.13.3-regression branch above)

[som-snytt]

Speculation: sounds related to "stabilization" of value for dependent implicits.

Edit: actually, a lint is triggering the error. The x$19 in the message is the enclosing val for the tuple.

val (x: Pickler[X], y: Pickler[Y]) = { stuff ; (a, b) }
val x$19 = rhs ; val x: Pickler[X] = x$19._1 ; etc

Workaround is to disable implicit-recursion, which used to be a standalone warning option.

      case (_, "2.13.3") => Seq(
        "-Xlint:_,-eta-sam,-implicit-recursion",