crash with function accepting polymorphic function type with singleton result #9996
Description
Minimized code
Here the reference to t.type causes the crash
def takesId(f: [T] => (t: T) => t.type): Int = f(1)Output (click arrow to expand)
Exception in thread "main" java.lang.AssertionError: NoDenotation.owner at dotty.tools.dotc.core.SymDenotations$NoDenotation$.owner(SymDenotations.scala:2325) at dotty.tools.dotc.ast.TypedTreeInfo.isKnownPureOp$1(TreeInfo.scala:401) at dotty.tools.dotc.ast.TypedTreeInfo.exprPurity(TreeInfo.scala:404) at dotty.tools.dotc.ast.TypedTreeInfo.exprPurity$(TreeInfo.scala:353) at dotty.tools.dotc.ast.tpd$.exprPurity(tpd.scala:22) at dotty.tools.dotc.ast.TypedTreeInfo.isIdempotentExpr(TreeInfo.scala:440) at dotty.tools.dotc.ast.TypedTreeInfo.isIdempotentExpr$(TreeInfo.scala:353) at dotty.tools.dotc.ast.tpd$.isIdempotentExpr(tpd.scala:22) at dotty.tools.dotc.ast.TypedTreeInfo.constToLiteral(TreeInfo.scala:529) at dotty.tools.dotc.ast.TypedTreeInfo.constToLiteral$(TreeInfo.scala:353) at dotty.tools.dotc.ast.tpd$.constToLiteral(tpd.scala:22) at dotty.tools.dotc.transform.FirstTransform.transformApply(FirstTransform.scala:179) at dotty.tools.dotc.transform.MegaPhase.goApply(MegaPhase.scala:643) at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:280) at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:428) at dotty.tools.dotc.transform.MegaPhase.mapDefDef$1(MegaPhase.scala:248) at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:251) at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:426) at dotty.tools.dotc.transform.MegaPhase.transformStat$2(MegaPhase.scala:436) at dotty.tools.dotc.transform.MegaPhase.recur$1(MegaPhase.scala:441) at dotty.tools.dotc.transform.MegaPhase.recur$1(MegaPhase.scala:1060) at dotty.tools.dotc.transform.MegaPhase.transformStats(MegaPhase.scala:441) at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:361) at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:428) at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:255) at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:426) at dotty.tools.dotc.transform.MegaPhase.transformStat$2(MegaPhase.scala:436) at dotty.tools.dotc.transform.MegaPhase.recur$1(MegaPhase.scala:441) at dotty.tools.dotc.transform.MegaPhase.recur$1(MegaPhase.scala:1060) at dotty.tools.dotc.transform.MegaPhase.transformStats(MegaPhase.scala:441) at dotty.tools.dotc.transform.MegaPhase.mapPackage$1(MegaPhase.scala:381) at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:384) at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:428) at dotty.tools.dotc.transform.MegaPhase.transformUnit(MegaPhase.scala:447) at dotty.tools.dotc.transform.MegaPhase.run(MegaPhase.scala:459) at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:296) at scala.collection.immutable.List.map(List.scala:246) at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:297) at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:180) at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15) at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10) at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323) at dotty.tools.dotc.Run.runPhases$5(Run.scala:190) at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:198) at dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:64) at dotty.tools.dotc.Run.compileUnits(Run.scala:205) at dotty.tools.dotc.Run.compileUnits(Run.scala:147) at dotty.tools.repl.ReplCompiler.runCompilationUnit(ReplCompiler.scala:151) at dotty.tools.repl.ReplCompiler.compile(ReplCompiler.scala:161) at dotty.tools.repl.ReplDriver.compile(ReplDriver.scala:233) at dotty.tools.repl.ReplDriver.interpret(ReplDriver.scala:196) at dotty.tools.repl.ReplDriver.loop$1(ReplDriver.scala:129) at dotty.tools.repl.ReplDriver.runUntilQuit$$anonfun$1(ReplDriver.scala:132) at dotty.tools.repl.ReplDriver.withRedirectedOutput(ReplDriver.scala:151) at dotty.tools.repl.ReplDriver.runUntilQuit(ReplDriver.scala:132) at dotty.tools.repl.Main$.main(Main.scala:6) at dotty.tools.repl.Main.main(Main.scala)