Scalac 3.3.1-xxx regression causes typer crash with stack overflow

[soronpo]

Compiler version

v3.3.1-RC1/2/3

Minimized code

type BAZ[T] = T match
  case Any => DFVal[BAZREC[T]]
type BAZREC[T] = T match
  case NonEmptyTuple => Tuple.Map[T, BAZ]

trait DFVal[T]
def foo(relIdx: BAZ[Any]): Unit =
  relIdx.bar

Output (click arrow to expand)

[error] java.lang.StackOverflowError
[error] dotty.tools.dotc.core.TypeApplications$.tryReduce$1(TypeApplications.scala:363)
[error] dotty.tools.dotc.core.TypeApplications$.appliedTo$extension(TypeApplications.scala:380)
[error] dotty.tools.dotc.core.TypeApplications$.applyIfParameterized$extension(TypeApplications.scala:406)
[error] dotty.tools.dotc.core.Types$MatchType$InDisguise$.unapply(Types.scala:4963)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:640)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6201)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:636)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6201)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:636)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy24$1(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$3(Types.scala:6187)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6191)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:645)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6276)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6269)
[error] dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6230)
[error] dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6277)
[error] dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:638)
.
.
.
.
.

[soronpo]

First bad nightly 3.3.1-RC1-bin-20230513-4cb6ee6-NIGHTLY

[soronpo]

My money is on #17457

[dwijnand]

If you can minimise it, I can commit to trying to fix it.

[soronpo]

Thanks. Working on that. Already put 5 hours into it. Getting there...

[soronpo]

@dwijnand I updated the description with the minimized example.
Note that the code crashes, but when fixed this should not compile since .bar is missing.