Alas, this is also an issue with Accord (see wix-incubator/accord#126). I'll post if I can find a workaround; in the meantime, to reproduce:

Build resetallattrs:

 git clone git@github.com:holograph/resetallattrs.git
 cd resetallattrs && sbt ++2.13.0-M3 publishLocal

Build Accord:

git checkout git@github.com:holograph/accord.git
cd accord
git checkout scala-2.13.0-m3
sbt ++2.13.0-M3 test

Sample output:

[error] scala.reflect.internal.FatalError:
[error]   Something is wrong: cannot find S in applied type org.scalatest.matchers.Matcher[T]
[error]    sought  S in Matcher
[error]  classSym  Matcher in matchers
[error]   tparams  T in Matcher
[error]
[error]      while compiling: /Users/tomer.gabel/dev/accord/scalatest/src/main/scala/com/wix/accord/scalatest/CombinatorTestSpec.scala
[error]         during phase: xsbt-api
[error]      library version: version 2.13.0-M3
[error]     compiler version: version 2.13.0-M3
[error]   reconstructed args: -deprecation -language:reflectiveCalls -feature -Xfatal-warnings -classpath /Users/tomer.gabel/dev/accord/scalatest/.jvm/target/scala-2.13.0-M3/classes:/Users/tomer.gabel/dev/accord/api/.jvm/target/scala-2.13.0-M3/classes:/Users/tomer.gabel/.ivy2/cache/org.scalatest/scalatest_2.13.0-M3/bundles/scalatest_2.13.0-M3-3.0.5-M1.jar:/Users/tomer.gabel/.ivy2/cache/org.scalactic/scalactic_2.13.0-M3/bundles/scalactic_2.13.0-M3-3.0.5-M1.jar:/Users/tomer.gabel/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.13.0-M3.jar:/Users/tomer.gabel/.ivy2/cache/org.scala-lang.modules/scala-xml_2.13.0-M3/bundles/scala-xml_2.13.0-M3-1.0.6.jar:/Users/tomer.gabel/.ivy2/cache/org.scala-lang/scala-compiler/jars/scala-compiler-2.13.0-M3.jar:/Users/tomer.gabel/.ivy2/cache/jline/jline/jars/jline-2.14.5.jar -unchecked -bootclasspath /Users/tomer.gabel/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.13.0-M3.jar
[error]
[error]   last tree to typer: Ident(x)
[error]        tree position: line 356 of /Users/tomer.gabel/dev/accord/scalatest/src/main/scala/com/wix/accord/scalatest/ResultMatchers.scala
[error]             tree tpe: (Boolean, Iterable[com.wix.accord.Violation] with Int with com.wix.accord.Violation => Boolean{def seq: Iterable[com.wix.accord.Violation] with Int with com.wix.accord.Violation => Boolean})
[error]               symbol: value x
[error]    symbol definition: x: (Boolean, Iterable[com.wix.accord.Violation] with Int with com.wix.accord.Violation => Boolean{def seq: Iterable[com.wix.accord.Violation] with Int with com.wix.accord.Violation => Boolean}) (a TermSymbol)
[error]       symbol package: <none>
[error]        symbol owners: value x
[error]            call site: trait ResultMatchers in package scalatest in package scalatest
[error]
[error] == Source file context for tree position ==
[error]
[error]    353   /** Enables syntax like `someResult should be( aSuccess )` */
[error]    354   val aSuccess = new BeMatcher[ Result ] {
[error]    355     def apply( left: Result ): MatchResult = {
[error]    356       val ( success, violations ) = left match {
[error]    357         case Success => ( true, Seq.empty )
[error]    358         case f: Failure => ( false, f.violations )
[error]    359       }
[error] 	at scala.reflect.internal.Reporting.abort(Reporting.scala:61)
[error] 	at scala.reflect.internal.Reporting.abort$(Reporting.scala:57)
[error] 	at scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:16)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.correspondingTypeArgument(TypeMaps.scala:477)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.loop$3(TypeMaps.scala:513)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.classParameterAsSeen(TypeMaps.scala:518)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:393)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:364)
[error] 	at scala.reflect.internal.Types$TypeRef.mapOver(Types.scala:2178)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:394)
[error] 	at scala.reflect.internal.Types$PolyType.mapOver(Types.scala:2741)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:394)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:364)
[error] 	at scala.reflect.internal.Types$TypeRef.mapOver(Types.scala:2178)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:394)
[error] 	at scala.reflect.internal.Types$MethodType.mapOver(Types.scala:2638)
[error] 	at scala.reflect.internal.tpe.TypeMaps$AsSeenFromMap.apply(TypeMaps.scala:394)
[error] 	at scala.reflect.internal.Types$Type.asSeenFrom(Types.scala:692)
[error] 	at scala.reflect.internal.Types$Type.memberInfo(Types.scala:712)
[error] 	at xsbt.ExtractAPI.defDef(ExtractAPI.scala:309)
[error] 	at xsbt.ExtractAPI.definition(ExtractAPI.scala:440)
[error] 	at xsbt.ExtractAPI.$anonfun$processDefinitions$1(ExtractAPI.scala:422)
[error] 	at scala.collection.TraversableLike.$anonfun$flatMap$1(TraversableLike.scala:237)
[error] 	at scala.collection.IndexedSeqOptimized.foreach(IndexedSeqOptimized.scala:32)
[error] 	at scala.collection.IndexedSeqOptimized.foreach$(IndexedSeqOptimized.scala:29)
[error] 	at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:188)
[error] 	at scala.collection.TraversableLike.flatMap(TraversableLike.scala:237)
[error] 	at scala.collection.TraversableLike.flatMap$(TraversableLike.scala:234)
[error] 	at scala.collection.mutable.ArrayOps$ofRef.flatMap(ArrayOps.scala:188)
[error] 	at xsbt.ExtractAPI.processDefinitions(ExtractAPI.scala:422)
[error] 	at xsbt.ExtractAPI.$anonfun$mkStructure$2(ExtractAPI.scala:418)
[error] 	at xsbt.Message$$anon$1.get(Message.scala:14)
[error] 	at xsbti.api.SafeLazy$Impl.get(SafeLazy.java:58)
[error] 	at xsbt.ExtractAPI.$anonfun$forceStructures$1(ExtractAPI.scala:170)
[error] 	at scala.collection.immutable.List.foreach(List.scala:389)
[error] 	at xsbt.ExtractAPI.forceStructures(ExtractAPI.scala:170)
[error] 	at xsbt.ExtractAPI.allExtractedNonLocalClasses(ExtractAPI.scala:639)
[error] 	at xsbt.API$TopLevelHandler.allNonLocalClasses(API.scala:68)
[error] 	at xsbt.API$ApiPhase.processScalaUnit(API.scala:48)
[error] 	at xsbt.API$ApiPhase.processUnit(API.scala:35)
[error] 	at xsbt.API$ApiPhase.apply(API.scala:33)
[error] 	at scala.tools.nsc.Global$GlobalPhase.$anonfun$applyPhase$1(Global.scala:436)
[error] 	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:429)
[error] 	at scala.tools.nsc.Global$GlobalPhase.$anonfun$run$1(Global.scala:400)
[error] 	at scala.tools.nsc.Global$GlobalPhase.$anonfun$run$1$adapted(Global.scala:400)
[error] 	at scala.collection.Iterator.foreach(Iterator.scala:938)
[error] 	at scala.collection.Iterator.foreach$(Iterator.scala:938)
[error] 	at scala.collection.AbstractIterator.foreach(Iterator.scala:1426)
[error] 	at scala.tools.nsc.Global$GlobalPhase.run(Global.scala:400)
[error] 	at xsbt.API$ApiPhase.run(API.scala:27)
[error] 	at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1453)
[error] 	at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1437)
[error] 	at scala.tools.nsc.Global$Run.compileSources(Global.scala:1429)
[error] 	at scala.tools.nsc.Global$Run.compile(Global.scala:1546)
[error] 	at xsbt.CachedCompiler0.run(CompilerInterface.scala:130)
[error] 	at xsbt.CachedCompiler0.run(CompilerInterface.scala:105)
[error] 	at xsbt.CompilerInterface.run(CompilerInterface.scala:31)
[error] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error] 	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error] 	at java.base/java.lang.reflect.Method.invoke(Method.java:564)
[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:83)
[error] 	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:134)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:74)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:117)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:305)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:305)
[error] 	at sbt.internal.inc.Incremental$.doCompile(Incremental.scala:101)
[error] 	at sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:82)
[error] 	at sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:110)
[error] 	at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:57)
[error] 	at sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:84)
[error] 	at sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:129)
[error] 	at sbt.internal.inc.Incremental$.compile(Incremental.scala:75)
[error] 	at sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:61)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:309)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:267)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:158)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:237)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:68)
[error] 	at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1443)
[error] 	at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1417)
[error] 	at scala.Function1.$anonfun$compose$1(Function1.scala:44)
[error] 	at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:39)
[error] 	at sbt.std.Transform$$anon$4.work(System.scala:66)
[error] 	at sbt.Execute.$anonfun$submit$2(Execute.scala:263)
[error] 	at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:16)
[error] 	at sbt.Execute.work(Execute.scala:272)
[error] 	at sbt.Execute.$anonfun$submit$1(Execute.scala:263)
[error] 	at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:174)
[error] 	at sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error] 	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] 	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:514)
[error] 	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] 	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1135)
[error] 	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:635)
[error] 	at java.base/java.lang.Thread.run(Thread.java:844)

Regression in 2.13.0-M3: compiler crash with mismatched type params and args in Scalacheck clients #10762

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions