Skip to content

Assertion failed when naming parameter in polymorphic function type #6891

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
LPTK opened this issue Jul 19, 2019 · 0 comments
Closed

Assertion failed when naming parameter in polymorphic function type #6891

LPTK opened this issue Jul 19, 2019 · 0 comments
Assignees
@anatoliykmetyuk
Labels
itype:bug

Comments

@LPTK
Copy link
Contributor

LPTK commented Jul 19, 2019

minimized code

def foo(App: [A] => (f: A) => Any): Any = ???
Stack trace 
[error] java.lang.AssertionError: assertion failed
[error]         at dotty.DottyPredef$.assertFail(DottyPredef.scala:15)
[error]         at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:2548)
[error]         at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:2539)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2329)
[error]         at dotty.tools.dotc.typer.Typer.typedValDef(Typer.scala:1483)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2135)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2204)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1173)
[error]         at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1163)
[error]         at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1173)
[error]         at dotty.tools.dotc.typer.Namer.completeParams$$anonfun$1(Namer.scala:1188)
[error]         at scala.collection.immutable.List.foreach(List.scala:392)
[error]         at dotty.tools.dotc.typer.Namer.completeParams(Namer.scala:1188)
[error]         at dotty.tools.dotc.typer.Namer.defDefSig$$anonfun$3(Namer.scala:1404)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error]         at scala.collection.immutable.List.foreach(List.scala:392)
[error]         at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1404)
[error]         at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:760)
[error]         at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:873)
[error]         at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:786)
[error]         at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:239)
[error]         at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:180)
[error]         at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:182)
[error]         at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:345)
[error]         at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2103)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2128)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2204)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2270)
[error]         at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2316)
[error]         at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1678)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2141)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2204)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Typer.typedRefinedTypeTree(Typer.scala:1277)
[error]         at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2174)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2205)
[error]         at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2193)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2205)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Namer.typedAheadType$$anonfun$1(Namer.scala:1170)
[error]         at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1163)
[error]         at dotty.tools.dotc.typer.Namer.typedAheadType(Namer.scala:1170)
[error]         at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1368)
[error]         at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:756)
[error]         at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:873)
[error]         at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:786)
[error]         at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:239)
[error]         at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:180)
[error]         at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:182)
[error]         at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:345)
[error]         at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2103)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2128)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2204)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1173)
[error]         at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1163)
[error]         at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1173)
[error]         at dotty.tools.dotc.typer.Namer.completeParams$$anonfun$1(Namer.scala:1188)
[error]         at scala.collection.immutable.List.foreach(List.scala:392)
[error]         at dotty.tools.dotc.typer.Namer.completeParams(Namer.scala:1188)
[error]         at dotty.tools.dotc.typer.Namer.defDefSig$$anonfun$3(Namer.scala:1404)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error]         at scala.collection.immutable.List.foreach(List.scala:392)
[error]         at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1404)
[error]         at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:760)
[error]         at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:873)
[error]         at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:786)
[error]         at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:239)
[error]         at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:180)
[error]         at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:182)
[error]         at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:345)
[error]         at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2103)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2128)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2204)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2270)
[error]         at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2316)
[error]         at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1678)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2141)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2204)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2270)
[error]         at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2316)
[error]         at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1802)
[error]         at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2181)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2205)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2239)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2251)
[error]         at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2329)
[error]         at dotty.tools.dotc.typer.FrontEnd.typeCheck$$anonfun$1(FrontEnd.scala:75)
[error]         at dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error]         at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:41)
[error]         at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:79)
[error]         at dotty.tools.dotc.typer.FrontEnd.runOn$$anonfun$3(FrontEnd.scala:109)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error]         at scala.collection.immutable.List.foreach(List.scala:392)
[error]         at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:109)
[error]         at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:158)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error]         at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error]         at scala.collection.IndexedSeqOptimized.foreach(IndexedSeqOptimized.scala:36)
[error]         at scala.collection.IndexedSeqOptimized.foreach$(IndexedSeqOptimized.scala:33)
[error]         at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:198)
[error]         at dotty.tools.dotc.Run.runPhases$5(Run.scala:170)
[error]         at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:178)
[error]         at dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error]         at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:102)
[error]         at dotty.tools.dotc.Run.compileUnits(Run.scala:185)
[error]         at dotty.tools.dotc.Run.compileSources(Run.scala:120)
[error]         at dotty.tools.dotc.Run.compile(Run.scala:104)
[error]         at dotty.tools.dotc.Driver.doCompile(Driver.scala:34)
[error]         at dotty.tools.dotc.Driver.process(Driver.scala:172)
[error]         at dotty.tools.dotc.Main.process(Main.scala)
[error]         at xsbt.CachedCompilerImpl.run(CachedCompilerImpl.java:69)
[error]         at xsbt.CompilerInterface.run(CompilerInterface.java:41)
[error]         at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error]         at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error]         at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error]         at java.lang.reflect.Method.invoke(Method.java:498)
[error]         at sbt.internal.inc.AnalyzingCompiler.call(AnalyzingCompiler.scala:237)
[error]         at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:111)
[error]         at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:90)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3(MixedAnalyzingCompiler.scala:82)
[error]         at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:133)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:73)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:116)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:307)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:307)
[error]         at sbt.internal.inc.Incremental$.doCompile(Incremental.scala:106)
[error]         at sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:87)
[error]         at sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:116)
[error]         at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:63)
[error]         at sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:89)
[error]         at sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:134)
[error]         at sbt.internal.inc.Incremental$.compile(Incremental.scala:80)
[error]         at sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:67)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:311)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:269)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:159)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:238)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:69)
[error]         at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1549)
[error]         at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1523)
[error]         at scala.Function1.$anonfun$compose$1(Function1.scala:44)
[error]         at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:40)
[error]         at sbt.std.Transform$$anon$4.work(System.scala:67)
[error]         at sbt.Execute.$anonfun$submit$2(Execute.scala:269)
[error]         at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:16)
[error]         at sbt.Execute.work(Execute.scala:278)
[error]         at sbt.Execute.$anonfun$submit$1(Execute.scala:269)
[error]         at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:178)
[error]         at sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error]         at java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error]         at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error]         at java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error]         at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
[error]         at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
[error]         at java.lang.Thread.run(Thread.java:745)
[error] (Compile / compileIncremental) java.lang.AssertionError: assertion failed

This one compiles:

def foo(App: [A] => A => Any): Any = ???
@LPTK LPTK added the itype:bug label Jul 19, 2019
@anatoliykmetyuk anatoliykmetyuk self-assigned this Jul 23, 2019
anatoliykmetyuk added a commit to dotty-staging/dotty that referenced this issue Jul 23, 2019
@anatoliykmetyuk
Fix scala#6891: Assertion failed when naming parameter in polymorphic…
5ea5ea9 
… function type

The reason behind the failure was an incorrect desugaring of
polymorphic functions. `[A] => A => A` desugars to, essentially,
`def apply[A](x$1: A): A`. Whereas `[A] => (f: A) => A` desugars
to `def apply[A](x$1: f: A): A`, which of course does not make
sense.
anatoliykmetyuk added a commit that referenced this issue Jul 23, 2019
@anatoliykmetyuk
Merge pull request #6917 from dotty-staging/i6891
278f7f4 
Fix #6891: Assertion failed when naming parameter in polymorphic function type
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@anatoliykmetyuk anatoliykmetyuk

Labels
itype:bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@LPTK @anatoliykmetyuk