Skip to content
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

Compiler crashes with scala.MatchError on SAM application when value of type Nothing is applied to using parameter list #17183

Closed
arturaz opened this issue Mar 30, 2023 · 0 comments · Fixed by #17740
Closed

Compiler crashes with scala.MatchError on SAM application when value of type Nothing is applied to using parameter list #17183

arturaz opened this issue Mar 30, 2023 · 0 comments · Fixed by #17740
Assignees
@dwijnand
Labels
itype:bug itype:crash
Milestone
3.4.0

Comments

@arturaz
Copy link

arturaz commented Mar 30, 2023

Compiler version

3.3.1-RC1-bin-20230328-5c2efc5-NIGHTLY

Minimized code

trait Dependency

trait MyFunc {
  def apply(a: Int, b: String)(using Dependency): String
}

case class Context(f: MyFunc)

Context(f = (_, _) => ???)

https://scastie.scala-lang.org/Et7mUvadQ9Gvxm8VMvZ6ww

Output (click arrow to expand)

    scala.MatchError: ContextualMethodType(List(x$3), List(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class <empty>)),module class Playground$)),trait Dependency)), TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scala)),object Predef),type String)) (of class dotty.tools.dotc.core.Types$CachedMethodType)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleNewType(TreePickler.scala:295)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleType(TreePickler.scala:162)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:626)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTpt(TreePickler.scala:320)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleDef(TreePickler.scala:339)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:582)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree$$anonfun$5(TreePickler.scala:491)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:491)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:484)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree$$anonfun$2(TreePickler.scala:449)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:449)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTreeUnlessEmpty(TreePickler.scala:323)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleDef(TreePickler.scala:341)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:567)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree$$anonfun$5(TreePickler.scala:491)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:491)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree$$anonfun$2(TreePickler.scala:449)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:449)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleStats$$anonfun$2(TreePickler.scala:374)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleStats(TreePickler.scala:374)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:608)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleDef(TreePickler.scala:338)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:584)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleStats$$anonfun$2(TreePickler.scala:374)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleStats(TreePickler.scala:374)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:624)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickle$$anonfun$1(TreePickler.scala:798)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.core.tasty.TreePickler.pickle(TreePickler.scala:805)
    	at dotty.tools.dotc.transform.Pickler.run$$anonfun$1$$anonfun$1(Pickler.scala:90)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.transform.Pickler.run$$anonfun$1(Pickler.scala:142)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.immutable.List.foreach(List.scala:333)
    	at dotty.tools.dotc.transform.Pickler.run(Pickler.scala:142)
    	at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:324)
    	at scala.collection.immutable.List.map(List.scala:246)
    	at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:328)
    	at dotty.tools.dotc.transform.Pickler.runOn(Pickler.scala:150)
    	at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:247)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    	at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1321)
    	at dotty.tools.dotc.Run.runPhases$1(Run.scala:263)
    	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:271)
    	at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:280)
    	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:67)
    	at dotty.tools.dotc.Run.compileUnits(Run.scala:280)
    	at dotty.tools.dotc.Run.compileSources(Run.scala:195)
    	at dotty.tools.dotc.Run.compile(Run.scala:179)
    	at dotty.tools.dotc.Driver.doCompile(Driver.scala:35)
    	at dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:88)
    	at dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
    	at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
    	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:193)
    	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
    	at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:248)
    	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:183)
    	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:163)
    	at sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
    	at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:163)
    	at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:211)
    	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:534)
    	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:534)
    	at sbt.internal.inc.Incremental$.$anonfun$apply$5(Incremental.scala:179)
    	at sbt.internal.inc.Incremental$.$anonfun$apply$5$adapted(Incremental.scala:177)
    	at sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:463)
    	at sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
    	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
    	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
    	at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:263)
    	at sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:418)
    	at sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:506)
    	at sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:405)
    	at sbt.internal.inc.Incremental$.apply(Incremental.scala:171)
    	at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:534)
    	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:488)
    	at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
    	at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:425)
    	at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
    	at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2363)
    	at sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2313)
    	at sbt.internal.server.BspCompileTask$.$anonfun$compute$1(BspCompileTask.scala:30)
    	at sbt.internal.io.Retry$.apply(Retry.scala:46)
    	at sbt.internal.io.Retry$.apply(Retry.scala:28)
    	at sbt.internal.io.Retry$.apply(Retry.scala:23)
    	at sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:30)
    	at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2311)
    	at scala.Function1.$anonfun$compose$1(Function1.scala:49)
    	at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:62)
    	at sbt.std.Transform$$anon$4.work(Transform.scala:68)
    	at sbt.Execute.$anonfun$submit$2(Execute.scala:282)
    	at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:23)
    	at sbt.Execute.work(Execute.scala:291)
    	at sbt.Execute.$anonfun$submit$1(Execute.scala:282)
    	at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
    	at sbt.CompletionService$$anon$2.call(CompletionService.scala:64)
    	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
    	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:539)
    	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
    	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1136)
    	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:635)
    	at java.base/java.lang.Thread.run(Thread.java:833)

note the lack of an enriched crash report, despite #17031
@arturaz arturaz added itype:bug itype:crash stat:needs triage Every issue needs to have an "area" and "itype" label labels Mar 30, 2023
@dwijnand dwijnand self-assigned this Mar 31, 2023
@dwijnand dwijnand removed the stat:needs triage Every issue needs to have an "area" and "itype" label label Mar 31, 2023
@dwijnand dwijnand linked a pull request May 31, 2023 that will close this issue
Convert SAM result types to function types #17740
Merged
@Kordyjan Kordyjan added this to the 3.4.0 milestone Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dwijnand dwijnand

Labels
itype:bug itype:crash
Projects
None yet
Milestone
3.4.0
Development

Successfully merging a pull request may close this issue.

Convert SAM result types to function types dwijnand/scala3
3 participants
@arturaz @dwijnand @Kordyjan