Skip to content

val unapply with ClassTags stackoverflows the compiler #7532

New issue
New issue
Closed
Closed
val unapply with ClassTags stackoverflows the compiler#7532
Labels
itype:bugitype:crashprio:blocker
@nicolasstucki

Description

@nicolasstucki
nicolasstucki
opened on Nov 11, 2019

minimized code

class Tasty {
  type Term
  type Select

  given scala.reflect.ClassTag[Term] = ???
  given scala.reflect.ClassTag[Select] = ???
  object Select {
    def unapply(x: Select): Boolean = ???
  }
}

object Foo {
  def impl(given tasty: Tasty): Unit = {
    import tasty.{_, given}
    val Select() = (??? : Term)
  }
}
Stack trace 
java.lang.StackOverflowError while compiling Foo.scala
Exception in thread "main" java.lang.StackOverflowError
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:162)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:170)
        at dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:127)
        at dotty.tools.dotc.core.Types$Type.$less$colon$less(Types.scala:853)
        at dotty.tools.dotc.typer.Typer.adaptNoArgsOther$6(Typer.scala:2771)
        at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:2840)
        at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3046)
        at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:2452)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2241)
        at dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:455)
        at dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:478)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2039)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2116)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2241)
        at dotty.tools.dotc.typer.Applications.tryWithProto$1(Applications.scala:1093)
        at dotty.tools.dotc.typer.Applications.tryWithName$1$$anonfun$1(Applications.scala:1100)
        at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2249)
        at dotty.tools.dotc.typer.Applications.tryWithName$5(Applications.scala:1108)
        at dotty.tools.dotc.typer.Applications.trySelectUnapply$1(Applications.scala:1114)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1123)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2165)
        at dotty.tools.dotc.typer.Typer.tryWithClassTag(Typer.scala:687)
        at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:1190)
        at dotty.tools.dotc.typer.Typer.typedUnApply(Typer.scala:83)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2059)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2117)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2153)
        ...

Metadata

Metadata

Assignees

No one assigned

    Labels

    itype:bugitype:crashprio:blocker

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions