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

Infinite loop when inserting apply calls #15567

Closed
tgodzik opened this issue Jul 1, 2022 · 2 comments · Fixed by #15572
Closed

Infinite loop when inserting apply calls #15567

tgodzik opened this issue Jul 1, 2022 · 2 comments · Fixed by #15572
Labels
area:typer itype:bug
Milestone
3.2.1

Comments

@tgodzik
Copy link
Contributor

tgodzik commented Jul 1, 2022

Compiler version

3.1.2

Minimized code

//> using lib "co.fs2::fs2-core:3.2.8" 

package example

class S3TestSpec {
    fs2.Stream(Array.empty[Byte])(x => x)
}

Output

Scala Cli wasn't able to forward the exception but sbt causes

Stack trace 
[error] ## Exception when compiling 1 sources to /home/tgodzik/Documents/workspaces/project_zip/target/scala-3.1.2/classes
[error] java.lang.StackOverflowError
[error] dotty.tools.dotc.core.handleRecursive$.apply(TypeErrors.scala:100)
[error] dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:191)
[error] dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:199)
[error] dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:126)
[error] dotty.tools.dotc.core.TypeComparer.testSubType(TypeComparer.scala:142)
[error] dotty.tools.dotc.core.TypeComparer$.testSubType(TypeComparer.scala:2724)
[error] dotty.tools.dotc.typer.Typer.adaptNoArgsOther$1(Typer.scala:3667)
[error] dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:3764)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3976)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:464)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:853)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:853)
[error] dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:544)
[error] dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:609)
[error] dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:447)
[error] dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:735)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:852)
[error] dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1052)
[error] dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:317)
[error] dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:119)
[error] dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:898)
[error] dotty.tools.dotc.typer.Applications.realApply$1$$anonfun$3(Applications.scala:978)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:989)
[error] dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1027)
[error] dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:317)
[error] dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:119)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2809)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2872)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2937)
[error] dotty.tools.dotc.typer.Implicits.tryConversion$1(Implicits.scala:1078)
[error] dotty.tools.dotc.typer.Implicits.tryConversionForSelection$1(Implicits.scala:1087)
[error] dotty.tools.dotc.typer.Implicits.typedImplicit(Implicits.scala:1107)
[error] dotty.tools.dotc.typer.Implicits.typedImplicit$(Implicits.scala:791)
[error] dotty.tools.dotc.typer.Typer.typedImplicit(Typer.scala:119)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.tryImplicit(Implicits.scala:1177)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.rank$1(Implicits.scala:1276)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1446)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1474)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1482)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1507)
[error] dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1003)
[error] dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:791)
[error] dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:119)
[error] dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:829)
[error] dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:791)
[error] dotty.tools.dotc.typer.Typer.inferView(Typer.scala:119)
[error] dotty.tools.dotc.typer.Typer.tryExtensionOrConversion(Typer.scala:3245)
[error] dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:621)
[error] dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:660)
[error] dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:697)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3140)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
...
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3081)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:3170)
[error] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:3398)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3971)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.readapt$1(Typer.scala:3317)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3963)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3306)
[error] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:3143)
[error] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:3161)
[error]            
[error] stack trace is suppressed; run last Compile / compileIncremental for the full output
[error] (Compile / compileIncremental) java.lang.StackOverflowError
[error] Total time: 23 s, completed Jul 1, 2022, 2:14:33 PM

Expectation

Code compiles
@tgodzik tgodzik added itype:bug stat:needs triage Every issue needs to have an "area" and "itype" label labels Jul 1, 2022
@tgodzik tgodzik mentioned this issue Jul 1, 2022
Open
@smarter smarter added area:typer stat:needs minimization Needs a self contained minimization and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Jul 1, 2022
@s5bug
Copy link

s5bug commented Jul 1, 2022 •
edited
Loading

Minimization(s):

object Foo { def apply[A]: Foo.type = this }
Foo()

case class Bar() { def apply[A]: Bar = this }
Bar()()

case class Qux() { def apply[F[_]]: Qux = this }
Qux()()

The exception occurs in 3.2.0-RC1 as well.

@smarter smarter removed the stat:needs minimization Needs a self contained minimization label Jul 1, 2022
@smarter smarter changed the title Exception when compiling with fs2 library Infinite loop when inserting apply calls Jul 1, 2022
@tgodzik
Copy link
Contributor Author

tgodzik commented Jul 1, 2022

Och wow, thanks for minimizing it!

odersky added a commit to dotty-staging/dotty that referenced this issue Jul 2, 2022
@odersky
Look for synthetic applies also under type applications
882b435 
Fixes scala#15567
@odersky odersky mentioned this issue Jul 2, 2022
Merged
@Kordyjan Kordyjan added this to the 3.2.1 milestone Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:typer itype:bug
Projects
None yet
Milestone
3.2.1
Development

Successfully merging a pull request may close this issue.

Look for synthetic applies also under type applications dotty-staging/dotty
4 participants
@smarter @tgodzik @s5bug @Kordyjan