Whitelisting scala.Function1 fails to compile in partest.

[nicolasstucki]

When running partest with Function1 whitlisted the following error is reported:

-- Error: /Users/nicolas.stucki/GitHub/dotty/tests/partest-generated/pos/compileStdLib/Function1.scala -----------------
35 |trait Function1[@specialized(scala.Int, scala.Long, scala.Float, scala.Double) -T1, @specialized(scala.Unit, scala.Boolean, scala.Int, scala.Float, scala.Long, scala.Double) +R] extends AnyRef { self =>
   |                ^^^^^^^^^^^^
   |                cyclic reference involving constructor specialized

[odersky]

What's the Stacktrace?
We might need a hack to fix this. Functions are obviously needed very early, and annotations are now also entered early. So we catch our own tail here.

[nicolasstucki]

   |dotty.tools.dotc.core.Types$CyclicReference.show(Types.scala:3838)
   |dotty.tools.dotc.typer.ErrorReporting$.cyclicErrorMsg(ErrorReporting.scala:55)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2$$anonfun$apply$27.apply(Typer.scala:1533)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2$$anonfun$apply$27.apply(Typer.scala:1533)
   |dotty.tools.dotc.reporting.diagnostic.MessageContainer.contained(MessageContainer.scala:58)
   |dotty.tools.dotc.reporting.diagnostic.MessageContainer.message(MessageContainer.scala:42)
   |dotty.tools.dotc.reporting.diagnostic.MessageContainer.isNonSensical(MessageContainer.scala:70)
   |dotty.tools.dotc.reporting.HideNonSensicalMessages$class.isHidden(HideNonSensicalMessages.scala:17)
   |dotty.tools.dotc.reporting.ConsoleReporter.isHidden(ConsoleReporter.scala:13)
   |dotty.tools.dotc.reporting.Reporter.report(Reporter.scala:244)
   |dotty.tools.dotc.reporting.Reporting$class.error(Reporter.scala:85)
   |dotty.tools.dotc.core.Contexts$Context.error(Contexts.scala:57)
   |dotty.tools.dotc.typer.ErrorReporting$.errorType(ErrorReporting.scala:25)
   |dotty.tools.dotc.typer.ErrorReporting$.errorTree(ErrorReporting.scala:22)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1585)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:610)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:608)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Applications$class.realApply$1(Applications.scala:608)
   |dotty.tools.dotc.typer.Applications$class.typedApply(Applications.scala:705)
   |dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:64)
   |dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1480)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1521)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedAnnotation$1.apply(Typer.scala:1152)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedAnnotation$1.apply(Typer.scala:1152)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedAnnotation(Typer.scala:1151)
   |dotty.tools.dotc.typer.Namer$$anonfun$addAnnotations$1$$anonfun$7.apply(Namer.scala:599)
   |dotty.tools.dotc.typer.Namer$$anonfun$addAnnotations$1$$anonfun$7.apply(Namer.scala:599)
   |dotty.tools.dotc.core.Annotations$Annotation$$anon$1.complete(Annotations.scala:116)
   |dotty.tools.dotc.core.Annotations$LazyAnnotation.tree(Annotations.scala:43)
   |dotty.tools.dotc.core.Annotations$Annotation.ensureCompleted(Annotations.scala:30)
   |dotty.tools.dotc.typer.Typer$$anonfun$completeAnnotations$1.apply(Typer.scala:1135)
   |dotty.tools.dotc.typer.Typer$$anonfun$completeAnnotations$1.apply(Typer.scala:1135)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.typer.Typer.completeAnnotations(Typer.scala:1135)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedTypeDef$1.apply(Typer.scala:1214)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedTypeDef$1.apply(Typer.scala:1212)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedTypeDef(Typer.scala:1212)
   |dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1473)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1519)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Namer.typedAheadImpl(Namer.scala:861)
   |dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:871)
   |dotty.tools.dotc.typer.Namer$$anonfun$defDefSig$2.apply(Namer.scala:1069)
   |dotty.tools.dotc.typer.Namer$$anonfun$defDefSig$2.apply(Namer.scala:1069)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1069)
   |dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:628)
   |dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:671)
   |dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:650)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:327)
   |dotty.tools.dotc.typer.Namer$ClassCompleter.completeInCreationContext(Namer.scala:837)
   |dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:650)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.SymDenotations$ClassDenotation.classParents(SymDenotations.scala:1268)
   |dotty.tools.dotc.core.SymDenotations$ClassDenotation.superClassBits(SymDenotations.scala:1419)
   |dotty.tools.dotc.core.SymDenotations$ClassDenotation.derivesFrom(SymDenotations.scala:1439)
   |dotty.tools.dotc.core.Types$Type.loop$1(Types.scala:156)
   |dotty.tools.dotc.core.Types$Type.derivesFrom(Types.scala:168)
   |dotty.tools.dotc.core.Types$Type.loop$1(Types.scala:158)
   |dotty.tools.dotc.core.Types$Type.derivesFrom(Types.scala:168)
   |dotty.tools.dotc.core.Types$Type.loop$1(Types.scala:158)
   |dotty.tools.dotc.core.Types$Type.derivesFrom(Types.scala:168)
   |dotty.tools.dotc.typer.Namer$ClassCompleter.dotty$tools$dotc$typer$Namer$ClassCompleter$$checkedParentType$1(Namer.scala:751)
   |dotty.tools.dotc.typer.Namer$ClassCompleter$$anonfun$11.apply(Namer.scala:842)
   |dotty.tools.dotc.typer.Namer$ClassCompleter$$anonfun$11.apply(Namer.scala:842)
   |scala.collection.immutable.List.map(List.scala:273)
   |dotty.tools.dotc.typer.Namer$ClassCompleter.completeInCreationContext(Namer.scala:842)
   |dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:650)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.Types$NamedType.info(Types.scala:1603)
   |dotty.tools.dotc.core.TypeOps$$anonfun$forwardRefs$1$1.apply(TypeOps.scala:402)
   |dotty.tools.dotc.core.TypeOps$$anonfun$forwardRefs$1$1.apply(TypeOps.scala:397)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.core.TypeOps$class.forwardRefs$1(TypeOps.scala:397)
   |dotty.tools.dotc.core.TypeOps$$anonfun$normalizeToClassRefs$2.apply(TypeOps.scala:463)
   |dotty.tools.dotc.core.TypeOps$$anonfun$normalizeToClassRefs$2.apply(TypeOps.scala:462)
   |dotty.tools.dotc.util.SimpleMap$MapMore.foreachBinding(SimpleMap.scala:218)
   |dotty.tools.dotc.core.TypeOps$class.normalizeToClassRefs(TypeOps.scala:462)
   |dotty.tools.dotc.core.Contexts$Context.normalizeToClassRefs(Contexts.scala:57)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$.setClassInfo(Scala2Unpickler.scala:98)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler.dotty$tools$dotc$core$unpickleScala2$Scala2Unpickler$LocalUnpickler$$parseToCompletion$1(Scala2Unpickler.scala:536)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler$$anonfun$complete$1.apply$mcV$sp(Scala2Unpickler.scala:562)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler$$anonfun$complete$1.apply(Scala2Unpickler.scala:562)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler$$anonfun$complete$1.apply(Scala2Unpickler.scala:562)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.atReadPos(Scala2Unpickler.scala:309)
   |dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler.complete(Scala2Unpickler.scala:561)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.Types$NamedType.info(Types.scala:1603)
   |dotty.tools.dotc.core.TypeOps$$anonfun$forwardRefs$1$1.apply(TypeOps.scala:402)
   |dotty.tools.dotc.core.TypeOps$$anonfun$forwardRefs$1$1.apply(TypeOps.scala:397)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.core.TypeOps$class.forwardRefs$1(TypeOps.scala:397)
   |dotty.tools.dotc.core.TypeOps$$anonfun$normalizeToClassRefs$2.apply(TypeOps.scala:463)
   |dotty.tools.dotc.core.TypeOps$$anonfun$normalizeToClassRefs$2.apply(TypeOps.scala:462)
   |dotty.tools.dotc.util.SimpleMap$Map1.foreachBinding(SimpleMap.scala:56)
   |dotty.tools.dotc.core.TypeOps$class.normalizeToClassRefs(TypeOps.scala:462)
   |dotty.tools.dotc.core.Contexts$Context.normalizeToClassRefs(Contexts.scala:57)
   |dotty.tools.dotc.core.Definitions$$anon$3.complete(Definitions.scala:82)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.unforcedDecls(SymDenotations.scala:343)
   |dotty.tools.dotc.core.SymDenotations$ClassDenotation.typeParamsFromDecls(SymDenotations.scala:1233)
   |dotty.tools.dotc.core.SymDenotations$ClassDenotation.typeParams(SymDenotations.scala:1246)
   |dotty.tools.dotc.core.TypeApplications$.translateParameterized$extension(TypeApplications.scala:620)
   |dotty.tools.dotc.core.Types$MethodTypeCompanion.translateRepeated$1(Types.scala:2448)
   |dotty.tools.dotc.core.Types$MethodTypeCompanion.dotty$tools$dotc$core$Types$MethodTypeCompanion$$paramInfo$1(Types.scala:2458)
   |dotty.tools.dotc.core.Types$MethodTypeCompanion$$anonfun$fromSymbols$2.apply(Types.scala:2463)
   |dotty.tools.dotc.core.Types$MethodTypeCompanion$$anonfun$fromSymbols$2.apply(Types.scala:2463)
   |scala.collection.immutable.List.map(List.scala:273)
   |dotty.tools.dotc.core.Types$MethodTypeCompanion.fromSymbols(Types.scala:2463)
   |dotty.tools.dotc.typer.NamerContextOps$$anonfun$2.apply(Namer.scala:115)
   |dotty.tools.dotc.typer.NamerContextOps$$anonfun$2.apply(Namer.scala:107)
   |scala.collection.immutable.List$$anonfun$foldRight$1.apply(List.scala:397)
   |scala.collection.LinearSeqOptimized$class.foldLeft(LinearSeqOptimized.scala:124)
   |scala.collection.immutable.List.foldLeft(List.scala:84)
   |scala.collection.immutable.List.foldRight(List.scala:397)
   |scala.collection.TraversableOnce$class.$colon$bslash(TraversableOnce.scala:138)
   |scala.collection.AbstractTraversable.$colon$bslash(Traversable.scala:104)
   |dotty.tools.dotc.typer.NamerContextOps$class.methodType(Namer.scala:107)
   |dotty.tools.dotc.core.Contexts$Context.methodType(Contexts.scala:57)
   |dotty.tools.dotc.typer.Namer.dotty$tools$dotc$typer$Namer$$wrapMethType$1(Namer.scala:1078)
   |dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1083)
   |dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:628)
   |dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:671)
   |dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:650)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.Denotations$SingleDenotation.computeAsSeenFrom(Denotations.scala:1009)
   |dotty.tools.dotc.core.Denotations$SingleDenotation.computeAsSeenFrom(Denotations.scala:600)
   |dotty.tools.dotc.core.Denotations$PreDenotation$class.asSeenFrom(Denotations.scala:1141)
   |dotty.tools.dotc.core.Denotations$SingleDenotation.asSeenFrom(Denotations.scala:600)
   |dotty.tools.dotc.core.Denotations$DenotUnion.computeAsSeenFrom(Denotations.scala:1179)
   |dotty.tools.dotc.core.Denotations$PreDenotation$class.asSeenFrom(Denotations.scala:1141)
   |dotty.tools.dotc.core.Denotations$DenotUnion.asSeenFrom(Denotations.scala:1157)
   |dotty.tools.dotc.core.Denotations$DenotUnion.computeAsSeenFrom(Denotations.scala:1179)
   |dotty.tools.dotc.core.Denotations$PreDenotation$class.asSeenFrom(Denotations.scala:1141)
   |dotty.tools.dotc.core.Denotations$DenotUnion.asSeenFrom(Denotations.scala:1157)
   |dotty.tools.dotc.core.SymDenotations$ClassDenotation.findMember(SymDenotations.scala:1646)
   |dotty.tools.dotc.core.Types$Type.go$1(Types.scala:430)
   |dotty.tools.dotc.core.Types$Type.findMember(Types.scala:581)
   |dotty.tools.dotc.core.Types$Type.memberExcluding(Types.scala:415)
   |dotty.tools.dotc.core.Types$Type$$anonfun$member$1.apply(Types.scala:399)
   |dotty.tools.dotc.core.Types$Type$$anonfun$member$1.apply(Types.scala:399)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.core.Types$Type.member(Types.scala:398)
   |dotty.tools.dotc.typer.TypeAssigner$class.selectionType(TypeAssigner.scala:212)
   |dotty.tools.dotc.typer.Typer.selectionType(Typer.scala:64)
   |dotty.tools.dotc.typer.TypeAssigner$class.accessibleSelectionType(TypeAssigner.scala:234)
   |dotty.tools.dotc.typer.Typer.accessibleSelectionType(Typer.scala:64)
   |dotty.tools.dotc.typer.TypeAssigner$class.assignType(TypeAssigner.scala:265)
   |dotty.tools.dotc.typer.Typer.assignType(Typer.scala:64)
   |dotty.tools.dotc.typer.Typer.dotty$tools$dotc$typer$Typer$$typedSelect(Typer.scala:369)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedSelect$1.dotty$tools$dotc$typer$Typer$$anonfun$$typeSelectOnTerm$1(Typer.scala:394)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedSelect$1.apply(Typer.scala:426)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedSelect$1.apply(Typer.scala:390)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:390)
   |dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1461)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1519)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1585)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:610)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:608)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Applications$class.realApply$1(Applications.scala:608)
   |dotty.tools.dotc.typer.Applications$class.typedApply(Applications.scala:705)
   |dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:64)
   |dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1480)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1521)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedAnnotation$1.apply(Typer.scala:1152)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedAnnotation$1.apply(Typer.scala:1152)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedAnnotation(Typer.scala:1151)
   |dotty.tools.dotc.typer.Namer$$anonfun$addAnnotations$1$$anonfun$7.apply(Namer.scala:599)
   |dotty.tools.dotc.typer.Namer$$anonfun$addAnnotations$1$$anonfun$7.apply(Namer.scala:599)
   |dotty.tools.dotc.core.Annotations$Annotation$$anon$1.complete(Annotations.scala:116)
   |dotty.tools.dotc.core.Annotations$LazyAnnotation.tree(Annotations.scala:43)
   |dotty.tools.dotc.core.Annotations$Annotation.ensureCompleted(Annotations.scala:30)
   |dotty.tools.dotc.typer.Typer$$anonfun$completeAnnotations$1.apply(Typer.scala:1135)
   |dotty.tools.dotc.typer.Typer$$anonfun$completeAnnotations$1.apply(Typer.scala:1135)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.typer.Typer.completeAnnotations(Typer.scala:1135)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedTypeDef$1.apply(Typer.scala:1214)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedTypeDef$1.apply(Typer.scala:1212)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedTypeDef(Typer.scala:1212)
   |dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1473)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1519)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Namer.typedAheadImpl(Namer.scala:861)
   |dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:871)
   |dotty.tools.dotc.typer.Namer$$anonfun$defDefSig$2.apply(Namer.scala:1069)
   |dotty.tools.dotc.typer.Namer$$anonfun$defDefSig$2.apply(Namer.scala:1069)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1069)
   |dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:628)
   |dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:671)
   |dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:650)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:327)
   |dotty.tools.dotc.typer.Namer$ClassCompleter.completeInCreationContext(Namer.scala:837)
   |dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:650)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:210)
   |dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:188)
   |dotty.tools.dotc.core.Types$NamedType.info(Types.scala:1603)
   |dotty.tools.dotc.core.Types$Type.isRef(Types.scala:120)
   |dotty.tools.dotc.core.Types$Type.isRef(Types.scala:124)
   |dotty.tools.dotc.core.Types$Type.isRef(Types.scala:124)
   |dotty.tools.dotc.typer.ProtoTypes$Compatibility$class.disregardProto(ProtoTypes.scala:48)
   |dotty.tools.dotc.typer.ProtoTypes$Compatibility$class.constrainResult(ProtoTypes.scala:62)
   |dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:64)
   |dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:218)
   |dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:503)
   |dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:584)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.dotty$tools$dotc$typer$Applications$class$$anonfun$$simpleApply$1(Applications.scala:638)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1$$anonfun$apply$5.apply(Applications.scala:661)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1$$anonfun$apply$5.apply(Applications.scala:661)
   |dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:1593)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:662)
   |dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:608)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Applications$class.realApply$1(Applications.scala:608)
   |dotty.tools.dotc.typer.Applications$class.typedApply(Applications.scala:705)
   |dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:64)
   |dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1480)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1521)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1585)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedDefDef$1.apply(Typer.scala:1196)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedDefDef$1.apply(Typer.scala:1179)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1179)
   |dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1468)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1519)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1553)
   |dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1573)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1278)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1226)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1226)
   |dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1471)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1519)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1553)
   |dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1573)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1386)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1373)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1373)
   |dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1509)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1521)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1564)
   |dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1573)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1386)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1373)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1373)
   |dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1509)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1521)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1564)
   |dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1573)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1386)
   |dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1373)
   |dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
   |dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1373)
   |dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1509)
   |dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1521)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1531)
   |dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1529)
   |dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
   |dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
   |dotty.tools.dotc.typer.Typer.typed(Typer.scala:1529)
   |dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1585)
   |dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:55)
   |dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:23)
   |dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:53)
   |dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$4.apply(FrontEnd.scala:80)
   |dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$4.apply(FrontEnd.scala:80)
   |scala.collection.immutable.List.foreach(List.scala:381)
   |dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:80)
   |dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:75)
   |dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:72)
   |scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33)
   |scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186)
   |dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply$mcV$sp(Run.scala:72)
   |dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:66)
   |dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:66)
   |dotty.tools.dotc.util.Stats$.monitorHeartBeat(Stats.scala:76)
   |dotty.tools.dotc.Run.compileUnits(Run.scala:66)
   |dotty.tools.dotc.Run.compileSources(Run.scala:63)
   |dotty.tools.dotc.Run.compile(Run.scala:47)
   |dotty.tools.dotc.Driver.doCompile(Driver.scala:26)
   |dotty.tools.dotc.Driver.process(Driver.scala:124)
   |dotty.tools.dotc.Driver.process(Driver.scala:93)
   |dotty.partest.DPDirectCompiler.compile(DPDirectCompiler.scala:20)
   |scala.tools.partest.nest.Runner.attemptCompile(Runner.scala:423)
   |scala.tools.partest.nest.Runner$ScalaAndJava.result$lzycompute(Runner.scala:477)
   |scala.tools.partest.nest.Runner$ScalaAndJava.result(Runner.scala:477)
   |scala.tools.partest.nest.Runner$CompileRound.isOk(Runner.scala:463)
   |scala.tools.partest.nest.Runner$$anonfun$runTestCommon$1$$anonfun$apply$mcZ$sp$4$$anonfun$apply$2.apply(Runner.scala:510)
   |scala.tools.partest.nest.Runner$$anonfun$runTestCommon$1$$anonfun$apply$mcZ$sp$4$$anonfun$apply$2.apply(Runner.scala:510)
   |scala.tools.partest.nest.Runner.nextTestAction(Runner.scala:131)
   |scala.tools.partest.nest.Runner.nextTestActionExpectTrue(Runner.scala:136)
   |scala.tools.partest.nest.Runner$$anonfun$runTestCommon$1$$anonfun$apply$mcZ$sp$4.apply(Runner.scala:510)
   |scala.tools.partest.nest.Runner$$anonfun$runTestCommon$1$$anonfun$apply$mcZ$sp$4.apply(Runner.scala:510)
   |scala.collection.LinearSeqOptimized$class.forall(LinearSeqOptimized.scala:83)
   |scala.collection.immutable.List.forall(List.scala:84)
   |scala.tools.partest.nest.Runner$$anonfun$runTestCommon$1.apply$mcZ$sp(Runner.scala:510)
   |scala.tools.partest.nest.Runner.runInContext(Runner.scala:399)
   |scala.tools.partest.nest.Runner.runTestCommon(Runner.scala:509)
   |scala.tools.partest.nest.Runner.run(Runner.scala:676)
   |dotty.partest.DPSuiteRunner.runTest(DPConsoleRunner.scala:152)
   |scala.tools.partest.nest.SuiteRunner$$anonfun$21$$anonfun$apply$7.apply(Runner.scala:814)
   |scala.tools.partest.nest.SuiteRunner$$anonfun$21$$anonfun$apply$7.apply(Runner.scala:814)
   |scala.tools.partest.package$$anon$2.call(package.scala:133)
   |java.util.concurrent.FutureTask.run(FutureTask.java:266)
   |java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
   |java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
   |java.lang.Thread.run(Thread.java:745)