Skip to content

Crash on inline implicit functions. #2006

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
Closed
nicolasstucki opened this issue Feb 20, 2017 · 0 comments
Closed

Crash on inline implicit functions. #2006

nicolasstucki opened this issue Feb 20, 2017 · 0 comments
Labels
exp:advanced itype:bug

Comments

@nicolasstucki
Copy link
Contributor 

object Test {

  inline def foo(f: ImplicitFunction1[Int, Int]): AnyRef = f
  inline def bar(f: ImplicitFunction1[Int, Int]) = f

  def main(args: Array[String]) = {
    foo(implicit thisTransaction => 43)
    bar(implicit thisTransaction => 44)
  }
}

inline def foo(f: ImplicitFunction1[Int, Int]): AnyRef = f fails with:

dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of Select(TypedSplice(Ident(f)),apply) is not assigned
	at dotty.tools.dotc.ast.Trees$Tree.tpe(Trees.scala:97)
	at dotty.tools.dotc.ast.Trees$DenotingTree.denot(Trees.scala:236)
	at dotty.tools.dotc.ast.Trees$Tree.symbol(Trees.scala:148)
	at dotty.tools.dotc.typer.ReTyper.retrieveSym(ReTyper.scala:69)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1498)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:1949)
	at dotty.tools.dotc.typer.Typer.adaptInterpolated(Typer.scala:2088)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$34.apply(Typer.scala:1734)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$34.apply(Typer.scala:1730)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1730)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1730)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:1729)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.ReTyper.typedSelect(ReTyper.scala:38)
	at dotty.tools.dotc.typer.Inliner$InlineTyper$.typedSelect(Inliner.scala:513)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1501)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Inliner$$anonfun$inlined$4.apply(Inliner.scala:461)
	at dotty.tools.dotc.typer.Inliner$$anonfun$inlined$4.apply(Inliner.scala:458)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Inliner.inlined(Inliner.scala:458)
	at dotty.tools.dotc.typer.Inliner$.inlineCall(Inliner.scala:237)
	at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:1968)
	at dotty.tools.dotc.typer.Typer.adaptInterpolated(Typer.scala:2088)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$34.apply(Typer.scala:1734)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$34.apply(Typer.scala:1730)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1730)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1730)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:1729)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1638)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:618)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:610)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:610)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1527)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Namer$$anonfun$typedAheadExpr$1.apply(Namer.scala:883)
	at dotty.tools.dotc.typer.Namer$$anonfun$typedAheadExpr$1.apply(Namer.scala:883)
	at dotty.tools.dotc.typer.Namer.typedAheadImpl(Namer.scala:873)
	at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:883)
	at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:1004)
	at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:1005)
	at dotty.tools.dotc.typer.Namer.lhsType$lzycompute$1(Namer.scala:1006)
	at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:1006)
	at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1023)
	at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1031)
	at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1097)
	at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:637)
	at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:681)
	at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:659)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:214)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:192)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:331)
	at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:1473)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1498)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1606)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1626)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1318)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1264)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1264)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1511)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1606)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1626)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1426)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1413)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1413)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1550)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1638)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:64)
	at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:32)
	at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:62)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:93)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:93)
	at scala.collection.immutable.List.foreach(List.scala:381)
	at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:93)

And inline def bar(f: ImplicitFunction1[Int, Int]) = f fails with:

dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of DefDef($anonfun,List(),List(List(ValDef(evidence$1,TypedSplice(TypeTree[TypeRef(TermRef(ThisType(TypeRef(NoPrefix,<root>)),scala)/withSig(Signature(List(),)),Int)]),EmptyTree))),TypeTree,Ident(f)) is not assigned
	at dotty.tools.dotc.ast.Trees$Tree.tpe(Trees.scala:97)
	at dotty.tools.dotc.ast.Trees$DenotingTree.denot(Trees.scala:236)
	at dotty.tools.dotc.ast.Trees$Tree.symbol(Trees.scala:148)
	at dotty.tools.dotc.typer.ReTyper.retrieveSym(ReTyper.scala:69)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1498)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1606)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1626)
	at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:608)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:611)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:610)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:610)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1527)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedFunction$1.apply(Typer.scala:795)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedFunction$1.apply(Typer.scala:676)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedFunction(Typer.scala:676)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1529)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.Typer.makeImplicitFunction(Typer.scala:1579)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1563)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto$$anonfun$1.apply(ProtoTypes.scala:237)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto$$anonfun$1.apply(ProtoTypes.scala:237)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.dotty$tools$dotc$typer$ProtoTypes$FunProto$$cacheTypedArg(ProtoTypes.scala:215)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:237)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:585)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:583)
	at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:385)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:424)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:227)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:503)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:584)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.dotty$tools$dotc$typer$Applications$class$$anonfun$$simpleApply$1(Applications.scala:638)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1$$anonfun$apply$5.apply(Applications.scala:663)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1$$anonfun$apply$5.apply(Applications.scala:663)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:1646)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:664)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:608)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Applications$class.realApply$1(Applications.scala:608)
	at dotty.tools.dotc.typer.Applications$class.typedApply(Applications.scala:707)
	at dotty.tools.dotc.typer.Inliner$InlineTyper$.typedApply(Inliner.scala:536)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1520)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:96)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Inliner$$anonfun$inlined$4.apply(Inliner.scala:461)
	at dotty.tools.dotc.typer.Inliner$$anonfun$inlined$4.apply(Inliner.scala:458)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Inliner.inlined(Inliner.scala:458)
	at dotty.tools.dotc.typer.Inliner$.inlineCall(Inliner.scala:237)
	at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:1968)
	at dotty.tools.dotc.typer.Typer.adaptInterpolated(Typer.scala:2088)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$34.apply(Typer.scala:1734)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$34.apply(Typer.scala:1730)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1730)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1730)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:1729)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1638)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:618)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:610)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:610)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1527)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Namer$$anonfun$typedAheadExpr$1.apply(Namer.scala:883)
	at dotty.tools.dotc.typer.Namer$$anonfun$typedAheadExpr$1.apply(Namer.scala:883)
	at dotty.tools.dotc.typer.Namer.typedAheadImpl(Namer.scala:873)
	at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:883)
	at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:1004)
	at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:1005)
	at dotty.tools.dotc.typer.Namer.lhsType$lzycompute$1(Namer.scala:1006)
	at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:1006)
	at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1023)
	at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1031)
	at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1097)
	at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:637)
	at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:681)
	at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:659)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:214)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:192)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:331)
	at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:1473)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1498)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1606)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1626)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1318)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1264)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1264)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1511)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1565)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1606)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1626)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1426)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1413)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1413)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1550)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1566)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1584)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1582)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1582)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1638)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:64)
	at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:32)
	at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:62)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:93)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:93)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
exp:advanced itype:bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nicolasstucki