Skip to content

Stackoverflow due to infinite loop in ProtoTypes #24782

New issue
New issue
Open
Open
Stackoverflow due to infinite loop in ProtoTypes#24782
Labels
itype:bugitype:crashstat:needs triageEvery issue needs to have an "area" and "itype" label
@eejbyfeldt

Description

@eejbyfeldt
eejbyfeldt
opened on Dec 20, 2025

Compiler version

3.7.4, 3.8.1-RC1-bin-20251220-327be51-NIGHTLY

Minimized code

object S {
  trait F[A]
  type Pure = [a] => a => F[a]
  def f(using pure: Pure) = S(s => pure(s))
}

Output (click arrow to expand)

Details 
$ scala-cli --server=false -S 3.nightly state.scala

  Exception while compiling /home/ejbyfeldt/dev/scala_playground/state.scala

  An unhandled exception was thrown in the compiler.
  Please file a crash report here:
  https://github.com/scala/scala3/issues/new/choose
  For non-enriched exceptions, compile with -Xno-enrich-error-messages.


     while compiling: <no file>
        during phase: parser
                mode: Mode()
     library version: version 3.8.1-RC1-bin-20251220-327be51-NIGHTLY
    compiler version: version 3.8.1-RC1-bin-20251220-327be51-NIGHTLY-git-327be51
            settings: -classpath /home/ejbyfeldt/.cache/coursier/v1/https/repo.scala-lang.org/artifactory/maven-nightlies/org/scala-lang/scala3-library_3/3.8.1-RC1-bin-20251220-327be51-NIGHTLY/scala3-library_3-3.8.1-RC1-bin-20251220-327be51-NIGHTLY.jar:/home/ejbyfeldt/.cache/coursier/v1/https/repo.scala-lang.org/artifactory/maven-nightlies/org/scala-lang/scala-library/3.8.1-RC1-bin-20251220-327be51-NIGHTLY/scala-library-3.8.1-RC1-bin-20251220-327be51-NIGHTLY.jar -d /home/ejbyfeldt/dev/scala_playground/.scala-build/scala_playground_0ea6010142-ceebb4ae3c/classes/main -sourceroot /home/ejbyfeldt/dev/scala_playground

Exception in thread "main" java.lang.StackOverflowError
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.isStaticOwner(SymDenotations.scala:759)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.isStatic(SymDenotations.scala:754)
	at dotty.tools.dotc.core.Symbols$Symbol.isStatic(Symbols.scala:218)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:966)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:970)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1$$anonfun$1(ProtoTypes.scala:969)
	at scala.collection.immutable.List.loop$3(List.scala:466)
	at scala.collection.immutable.List.mapConserve(List.scala:491)
	at dotty.tools.dotc.typer.ProtoTypes$.wildArgs$1(ProtoTypes.scala:969)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:977)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:988)
	at dotty.tools.dotc.typer.ProtoTypes$.wildApproxBounds$1(ProtoTypes.scala:994)
	at dotty.tools.dotc.typer.ProtoTypes$.approxPoly$1(ProtoTypes.scala:1000)
	at dotty.tools.dotc.typer.ProtoTypes$.dotty$tools$dotc$typer$ProtoTypes$$$wildApprox(ProtoTypes.scala:1004)
...

Metadata

Metadata

Assignees

No one assigned

    Labels

    itype:bugitype:crashstat:needs triageEvery issue needs to have an "area" and "itype" label

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions