Problems with jsoniter compilation after 3.3.1

[Kordyjan]

Compiler version

Everything after 3.3.1.
3.3.2-RC1-bin-20230530-28915c4-NIGHTLY - 3.3.2-RC1-bin-20230630-c629090-NIGHTLY - xcheck-macros error
from 3.3.2-RC1-bin-20230703-0a21ecf-NIGHTLY - typer crash

Reproduction

git clone --branch v2.24.4 --depth 1 https://github.com/plokhotnyuk/jsoniter-scala.git
cd jsoniter-scala
sbt
++3.3.2-RC1-bin-20230630-c629090-NIGHTLY!
jsoniter-scala-macrosJVM/Test/compile

Output (click arrow to expand)

Up to 3.3.2-RC1-bin-20230630-c629090-NIGHTLY - xcheck-macros assertion fail about missing position
From 3.3.2-RC1-bin-20230703-0a21ecf-NIGHTLY:

[error] java.lang.AssertionError: assertion failed
[error] scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:11)
[error] dotty.tools.dotc.core.Types$LazyRef.ref(Types.scala:3111)
[error] dotty.tools.dotc.core.Types$Type.dealias1(Types.scala:1433)
[error] dotty.tools.dotc.core.Types$Type.dealias(Types.scala:1441)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:171)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy25$1(Types.scala:6246)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6246)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6250)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:198)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6284)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:198)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6284)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:198)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:172)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy25$1(Types.scala:6246)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6246)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6250)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:198)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6284)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:198)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6284)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:198)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:172)
[error] dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:169)
[...]

[nicolasstucki]

Up to 3.3.2-RC1-bin-20230705-13f877b-NIGHTLY - xcheck-macros assertion fail about missing position

I did not manage to reproduce this one. I get the same failure that is in the details.

[Kordyjan]

I fixed the ranges in the original comment.

[WojciechMazur]

It might be possible that it's related to #18257 based on JsonCodecMakerNewTypeSpec test which defined recursive jsons. Altough there is was either failing or crashing with stack overflow depending on the complexity of match type.

[nicolasstucki]

The missing position was fixed in #18178.

[nicolasstucki]

I have no insight on the LazyRef.ref assertion failure.