Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Regression for opaque types in getkyo/kyo leading to StackOverflowError #22468

Closed
WojciechMazur opened this issue Jan 27, 2025 · 1 comment · Fixed by #22479
Closed

Regression for opaque types in getkyo/kyo leading to StackOverflowError #22468

WojciechMazur opened this issue Jan 27, 2025 · 1 comment · Fixed by #22479
Assignees
@jchyb
Labels
area:opaque-types itype:bug itype:crash regression This worked in a previous version but doesn't anymore

Comments

@WojciechMazur
Copy link
Contributor

Based on OpenCB failures in:

Compiler version

Last good release: 3.7.0-RC1-bin-20250119-bd699fc-NIGHTLY
First bad release: 3.7.0-RC1-bin-20250120-db23c08-NIGHTLY

Bisect points to fe2e6e9

Minimized code

import Result.*
opaque type Result[+E, +A] = Success[A] | Error[E]

object Result:
    opaque type Success[+A] = A
    sealed abstract class Error[+E]   
    
    extension [E, A](self: Result[E, A])
        inline def transform[B]: B = ???
        def problem: Boolean = transform[Boolean]

Output

StackOverflowError

Error: Encountered a StackOverflowError coming from the compiler. You might need to restart your Bloop build server:
dotty.tools.dotc.core.TypeOps$AsSeenFromMap.apply(TypeOps.scala:111)
dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:6270)
dotty.tools.dotc.core.TypeOps$AsSeenFromMap.apply(TypeOps.scala:111)
dotty.tools.dotc.core.Types$TypeMap.mapOverLambda(Types.scala:6154)
dotty.tools.dotc.core.TypeOps$AsSeenFromMap.apply(TypeOps.scala:105)
dotty.tools.dotc.core.TypeOps$.asSeenFrom(TypeOps.scala:55)
dotty.tools.dotc.core.Types$Type.asSeenFrom(Types.scala:1113)
dotty.tools.dotc.inlines.Inliner$OpaqueProxy$.openOpaqueAliases$1(Inliner.scala:142)
dotty.tools.dotc.inlines.Inliner$OpaqueProxy$.apply(Inliner.scala:146)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:406)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1$$anonfun$1(Inliner.scala:411)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies$$anonfun$1(Inliner.scala:401)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy26$1(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.applyToPrefix(Types.scala:6683)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6693)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6706)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6740)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6716)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$TypeAccumulator.op$proxy28$1(Types.scala:6728)
dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6728)
dotty.tools.dotc.core.Types$ForeachAccumulator.apply(Types.scala:6803)
dotty.tools.dotc.core.Types$Type.foreachPart(Types.scala:539)
dotty.tools.dotc.inlines.Inliner.addOpaqueProxies(Inliner.scala:416)
dotty.tools.dotc.inlines.Inliner.fixRefinedTypes$1(Inliner.scala:443)
dotty.tools.dotc.inlines.Inliner.addProxiesForRecurrentOpaques(Inliner.scala:446)
...

Expectation

Should compile
@WojciechMazur WojciechMazur added area:opaque-types itype:bug itype:crash regression This worked in a previous version but doesn't anymore labels Jan 27, 2025
@jchyb jchyb mentioned this issue Jan 29, 2025
Merged
@SethTisue
Copy link
Member

fyi @fwbrasil

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jchyb jchyb

Labels
area:opaque-types itype:bug itype:crash regression This worked in a previous version but doesn't anymore
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix stack overflow errors when generating opaque type proxies dotty-staging/dotty
3 participants
@SethTisue @WojciechMazur @jchyb