Skip to content

By-name (lazy) implicits compiler crash in 2.13.0 #11591

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
joroKr21 opened this issue Jun 25, 2019 · 6 comments · Fixed by scala/scala#8201
Closed

By-name (lazy) implicits compiler crash in 2.13.0 #11591

joroKr21 opened this issue Jun 25, 2019 · 6 comments · Fixed by scala/scala#8201
Assignees
@milessabin
Labels
compiler crash should not compile
Milestone
2.13.1

Comments

@joroKr21
Copy link
Member

Unfortunately I don't have a minimized example but it's at least reproducible.

How to reproduce:

git clone [email protected]:joroKr21/kittens.git
cd kittens
git checkout lazy-implicit-crash
sbt test:compile

This is the line that causes the crash:
joroKr21/kittens@55dd188

JVM backend error 
[warn] an unexpected type representation reached the compiler backend while compiling empty.scala: <error>. If possible, please file a bug on https://github.com/scala/bug/issues.
[error] Error while emitting empty.scala
[error] <error> (of class scala.reflect.internal.Types$ErrorType$)
[error] Error while emitting empty.scala
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting empty.scala
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite$LazyDefns$3$1;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$3$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$5$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$7$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$13$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$16$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$17$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$21$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$LazyDefns$1$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$LazyDefns$1$2$anon$macro$22$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$LazyDefns$1$2$anon$macro$26$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$anon$macro$28$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$LazyDefns$2$2
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$semiTests$LazyDefns$2$2$anon$macro$31$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$3$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$5$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$7$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$13$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$16$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$17$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$24$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$1$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$1$1$anon$macro$25$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$1$1$anon$macro$32$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$34$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$2$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$2$1$anon$macro$37$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$48$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$52$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$54$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$62$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$67$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$70$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$77$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$4$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$4$1$anon$macro$80$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$4$1$anon$macro$87$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$anon$macro$91$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$5$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$LazyDefns$5$1$anon$macro$96$1
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$Dummy
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$Chain
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$Chain$
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$Mask
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[error] Error while emitting cats/derived/EmptySuite$Mask$
[error] assertion failed: ClassBType.info not yet assigned: Lcats/derived/EmptySuite;
[warn] one warning found
[error] 47 errors found
JS backend error 
[error] 
[error]   Unknown type: <error>, <error> [class scala.reflect.internal.Types$ErrorType$, class scala.reflect.internal.Types$ErrorType$] TypeRef? false
[error]      while compiling: ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]         during phase: jscode
[error]      library version: version 2.13.0
[error]     compiler version: version 2.13.0
[error]   reconstructed args: -Xplugin:~/.ivy2/cache/org.scala-js/scalajs-compiler_2.13.0/jars/scalajs-compiler_2.13.0-0.6.28.jar -Xplugin:~/.ivy2/cache/org.typelevel/kind-projector_2.13/jars/kind-projector_2.13-0.10.3.jar -deprecation -language:higherKinds -language:implicitConversions -bootclasspath /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar:/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar:/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar:/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar:/usr/lib/jvm/java-8-oracle/jre/classes:~/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.13.0.jar -classpath ~/kittens/core/.js/target/scala-2.13/test-classes:~/kittens/core/.js/target/scala-2.13/classes:~/.ivy2/cache/org.scala-js/scalajs-library_2.13/jars/scalajs-library_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-core_2.13/jars/cats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-macros_2.13/jars/cats-macros_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/machinist_2.13/jars/machinist_2.13-0.6.8.jar:~/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.13.0.jar:~/.ivy2/cache/org.typelevel/cats-kernel_2.13/jars/cats-kernel_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/alleycats-core_2.13/jars/alleycats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/com.chuusai/shapeless_2.13/bundles/shapeless_2.13-2.3.3.jar:~/.ivy2/cache/org.scala-js/scalajs-test-interface_2.13/jars/scalajs-test-interface_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-testkit_2.13/jars/cats-testkit_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-laws_2.13/jars/cats-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-kernel-laws_2.13/jars/cats-kernel-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.scalacheck/scalacheck_2.13/jars/scalacheck_2.13-1.14.0.jar:~/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:~/.ivy2/cache/org.typelevel/discipline-core_2.13/jars/discipline-core_2.13-0.12.0-M3.jar:~/.ivy2/cache/org.scalatest/scalatest_2.13/bundles/scalatest_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scalactic/scalactic_2.13/bundles/scalactic_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scala-lang.modules/scala-xml_2.13/bundles/scala-xml_2.13-1.2.0.jar:~/.ivy2/cache/org.scalatestplus/scalatestplus-scalacheck_2.13/bundles/scalatestplus-scalacheck_2.13-1.0.0-SNAP8.jar:~/.ivy2/cache/org.typelevel/discipline-scalatest_2.13/jars/discipline-scalatest_2.13-0.12.0-M3.jar -unchecked -feature
[error] 
[error]   last tree to typer: TypeTree(class String)
[error]        tree position: line 93 of ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]             tree tpe: String
[error]               symbol: final class String in package lang
[error]    symbol definition: final class String extends Serializable with Comparable with CharSequence (a ClassSymbol)
[error]       symbol package: java.lang
[error]        symbol owners: class String
[error]            call site: object EmptySuite$Mask in package derived in package derived
[error] 
[error] == Source file context for tree position ==
[error] 
[error]     90 
[error]     91   trait Dummy
[error]     92   final case class Chain(head: Int, tail: Chain)
[error]     93   final case class Mask(bits: Int)
[error]     94   object Mask {
[error]     95     implicit val empty: Empty[Mask] = Empty(Mask(0xffffffff))
[error]     96   }
[error] ## Exception when compiling 26 sources to ~/kittens/core/.js/target/scala-2.13/test-classes
[error] 
[error]   Unknown type: <error>, <error> [class scala.reflect.internal.Types$ErrorType$, class scala.reflect.internal.Types$ErrorType$] TypeRef? false
[error]      while compiling: ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]         during phase: jscode
[error]      library version: version 2.13.0
[error]     compiler version: version 2.13.0
[error]   reconstructed args: -Xplugin:~/.ivy2/cache/org.scala-js/scalajs-compiler_2.13.0/jars/scalajs-compiler_2.13.0-0.6.28.jar -Xplugin:~/.ivy2/cache/org.typelevel/kind-projector_2.13/jars/kind-projector_2.13-0.10.3.jar -deprecation -language:higherKinds -language:implicitConversions -bootclasspath /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar:/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar:/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar:/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar:/usr/lib/jvm/java-8-oracle/jre/classes:~/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.13.0.jar -classpath ~/kittens/core/.js/target/scala-2.13/test-classes:~/kittens/core/.js/target/scala-2.13/classes:~/.ivy2/cache/org.scala-js/scalajs-library_2.13/jars/scalajs-library_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-core_2.13/jars/cats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-macros_2.13/jars/cats-macros_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/machinist_2.13/jars/machinist_2.13-0.6.8.jar:~/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.13.0.jar:~/.ivy2/cache/org.typelevel/cats-kernel_2.13/jars/cats-kernel_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/alleycats-core_2.13/jars/alleycats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/com.chuusai/shapeless_2.13/bundles/shapeless_2.13-2.3.3.jar:~/.ivy2/cache/org.scala-js/scalajs-test-interface_2.13/jars/scalajs-test-interface_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-testkit_2.13/jars/cats-testkit_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-laws_2.13/jars/cats-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-kernel-laws_2.13/jars/cats-kernel-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.scalacheck/scalacheck_2.13/jars/scalacheck_2.13-1.14.0.jar:~/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:~/.ivy2/cache/org.typelevel/discipline-core_2.13/jars/discipline-core_2.13-0.12.0-M3.jar:~/.ivy2/cache/org.scalatest/scalatest_2.13/bundles/scalatest_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scalactic/scalactic_2.13/bundles/scalactic_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scala-lang.modules/scala-xml_2.13/bundles/scala-xml_2.13-1.2.0.jar:~/.ivy2/cache/org.scalatestplus/scalatestplus-scalacheck_2.13/bundles/scalatestplus-scalacheck_2.13-1.0.0-SNAP8.jar:~/.ivy2/cache/org.typelevel/discipline-scalatest_2.13/jars/discipline-scalatest_2.13-0.12.0-M3.jar -unchecked -feature
[error] 
[error]   last tree to typer: TypeTree(class String)
[error]        tree position: line 93 of ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]             tree tpe: String
[error]               symbol: final class String in package lang
[error]    symbol definition: final class String extends Serializable with Comparable with CharSequence (a ClassSymbol)
[error]       symbol package: java.lang
[error]        symbol owners: class String
[error]            call site: object EmptySuite$Mask in package derived in package derived
[error] 
[error] == Source file context for tree position ==
[error] 
[error]     90 
[error]     91   trait Dummy
[error]     92   final case class Chain(head: Int, tail: Chain)
[error]     93   final case class Mask(bits: Int)
[error]     94   object Mask {
[error]     95     implicit val empty: Empty[Mask] = Empty(Mask(0xffffffff))
[error]     96   }
[error] scala.reflect.internal.Reporting.abort(Reporting.scala:68)
[error] scala.reflect.internal.Reporting.abort$(Reporting.scala:64)
[error] scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:28)
[error] org.scalajs.core.compiler.TypeKinds.toTypeKind(TypeKinds.scala:219)
[error] org.scalajs.core.compiler.TypeKinds.toTypeKind$(TypeKinds.scala:189)
[error] org.scalajs.core.compiler.GenJSCode.toTypeKind(GenJSCode.scala:37)
[error] org.scalajs.core.compiler.JSEncoding.internalName(JSEncoding.scala:287)
[error] org.scalajs.core.compiler.JSEncoding.makeParamsString(JSEncoding.scala:278)
[error] org.scalajs.core.compiler.JSEncoding.encodeMethodNameInternal(JSEncoding.scala:198)
[error] org.scalajs.core.compiler.JSEncoding.encodeMethodSym(JSEncoding.scala:150)
[error] org.scalajs.core.compiler.JSEncoding.encodeMethodSym$(JSEncoding.scala:148)
[error] org.scalajs.core.compiler.GenJSCode.encodeMethodSym(GenJSCode.scala:37)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genApplyMethod(GenJSCode.scala:2874)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genNormalApply(GenJSCode.scala:2717)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genApply(GenJSCode.scala:2374)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genStatOrExpr(GenJSCode.scala:1909)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genExpr(GenJSCode.scala:1834)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genBody$1(GenJSCode.scala:1764)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genMethodDef(GenJSCode.scala:1769)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genMethodWithCurrentLocalNameScope$8(GenJSCode.scala:1553)
[error] org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genMethodWithCurrentLocalNameScope$1(GenJSCode.scala:1515)
[error] org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genMethodWithCurrentLocalNameScope(GenJSCode.scala:1460)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genMethod$1(GenJSCode.scala:1424)
[error] org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] org.scalajs.core.compiler.JSEncoding.withNewLocalNameScope(JSEncoding.scala:63)
[error] org.scalajs.core.compiler.JSEncoding.withNewLocalNameScope$(JSEncoding.scala:59)
[error] org.scalajs.core.compiler.GenJSCode.withNewLocalNameScope(GenJSCode.scala:37)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genMethod(GenJSCode.scala:1424)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.gen$1(GenJSCode.scala:398)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genClass$3(GenJSCode.scala:389)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genClass$3$adapted(GenJSCode.scala:389)
[error] scala.collection.immutable.List.foreach(List.scala:312)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.gen$1(GenJSCode.scala:389)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.genClass(GenJSCode.scala:404)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$apply$6(GenJSCode.scala:320)
[error] org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$apply$5(GenJSCode.scala:307)
[error] scala.collection.immutable.List.foreach(List.scala:312)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.apply(GenJSCode.scala:294)
[error] scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:451)
[error] scala.tools.nsc.Global$GlobalPhase.run(Global.scala:396)
[error] org.scalajs.core.compiler.GenJSCode$JSCodePhase.run(GenJSCode.scala:225)
[error] scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1510)
[error] scala.tools.nsc.Global$Run.compileUnits(Global.scala:1494)
[error] scala.tools.nsc.Global$Run.compileSources(Global.scala:1486)
[error] scala.tools.nsc.Global$Run.compile(Global.scala:1615)
[error] xsbt.CachedCompiler0.run(CompilerInterface.scala:130)
[error] xsbt.CachedCompiler0.run(CompilerInterface.scala:105)
[error] xsbt.CompilerInterface.run(CompilerInterface.scala:31)
[error] sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error] sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error] sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error] java.lang.reflect.Method.invoke(Method.java:498)
[error] sbt.internal.inc.AnalyzingCompiler.call(AnalyzingCompiler.scala:237)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:111)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:90)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3(MixedAnalyzingCompiler.scala:82)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:133)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:73)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:116)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:307)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:307)
[error] sbt.internal.inc.Incremental$.doCompile(Incremental.scala:106)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:87)
[error] sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:116)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:63)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:89)
[error] sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:134)
[error] sbt.internal.inc.Incremental$.compile(Incremental.scala:80)
[error] sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:67)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:311)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:269)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:159)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:238)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:69)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1549)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1523)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:44)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:40)
[error] sbt.std.Transform$$anon$4.work(System.scala:67)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:269)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:16)
[error] sbt.Execute.work(Execute.scala:278)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:269)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:178)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
[error] java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error] java.lang.Thread.run(Thread.java:748)
[error]            
[error] scala.reflect.internal.FatalError: 
[error]   Unknown type: <error>, <error> [class scala.reflect.internal.Types$ErrorType$, class scala.reflect.internal.Types$ErrorType$] TypeRef? false
[error]      while compiling: ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]         during phase: jscode
[error]      library version: version 2.13.0
[error]     compiler version: version 2.13.0
[error]   reconstructed args: -Xplugin:~/.ivy2/cache/org.scala-js/scalajs-compiler_2.13.0/jars/scalajs-compiler_2.13.0-0.6.28.jar -Xplugin:~/.ivy2/cache/org.typelevel/kind-projector_2.13/jars/kind-projector_2.13-0.10.3.jar -deprecation -language:higherKinds -language:implicitConversions -bootclasspath /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar:/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar:/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar:/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar:/usr/lib/jvm/java-8-oracle/jre/classes:~/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.13.0.jar -classpath ~/kittens/core/.js/target/scala-2.13/test-classes:~/kittens/core/.js/target/scala-2.13/classes:~/.ivy2/cache/org.scala-js/scalajs-library_2.13/jars/scalajs-library_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-core_2.13/jars/cats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-macros_2.13/jars/cats-macros_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/machinist_2.13/jars/machinist_2.13-0.6.8.jar:~/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.13.0.jar:~/.ivy2/cache/org.typelevel/cats-kernel_2.13/jars/cats-kernel_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/alleycats-core_2.13/jars/alleycats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/com.chuusai/shapeless_2.13/bundles/shapeless_2.13-2.3.3.jar:~/.ivy2/cache/org.scala-js/scalajs-test-interface_2.13/jars/scalajs-test-interface_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-testkit_2.13/jars/cats-testkit_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-laws_2.13/jars/cats-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-kernel-laws_2.13/jars/cats-kernel-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.scalacheck/scalacheck_2.13/jars/scalacheck_2.13-1.14.0.jar:~/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:~/.ivy2/cache/org.typelevel/discipline-core_2.13/jars/discipline-core_2.13-0.12.0-M3.jar:~/.ivy2/cache/org.scalatest/scalatest_2.13/bundles/scalatest_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scalactic/scalactic_2.13/bundles/scalactic_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scala-lang.modules/scala-xml_2.13/bundles/scala-xml_2.13-1.2.0.jar:~/.ivy2/cache/org.scalatestplus/scalatestplus-scalacheck_2.13/bundles/scalatestplus-scalacheck_2.13-1.0.0-SNAP8.jar:~/.ivy2/cache/org.typelevel/discipline-scalatest_2.13/jars/discipline-scalatest_2.13-0.12.0-M3.jar -unchecked -feature
[error] 
[error]   last tree to typer: TypeTree(class String)
[error]        tree position: line 93 of ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]             tree tpe: String
[error]               symbol: final class String in package lang
[error]    symbol definition: final class String extends Serializable with Comparable with CharSequence (a ClassSymbol)
[error]       symbol package: java.lang
[error]        symbol owners: class String
[error]            call site: object EmptySuite$Mask in package derived in package derived
[error] 
[error] == Source file context for tree position ==
[error] 
[error]     90 
[error]     91   trait Dummy
[error]     92   final case class Chain(head: Int, tail: Chain)
[error]     93   final case class Mask(bits: Int)
[error]     94   object Mask {
[error]     95     implicit val empty: Empty[Mask] = Empty(Mask(0xffffffff))
[error]     96   }
[error] 	at scala.reflect.internal.Reporting.abort(Reporting.scala:68)
[error] 	at scala.reflect.internal.Reporting.abort$(Reporting.scala:64)
[error] 	at scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:28)
[error] 	at org.scalajs.core.compiler.TypeKinds.toTypeKind(TypeKinds.scala:219)
[error] 	at org.scalajs.core.compiler.TypeKinds.toTypeKind$(TypeKinds.scala:189)
[error] 	at org.scalajs.core.compiler.GenJSCode.toTypeKind(GenJSCode.scala:37)
[error] 	at org.scalajs.core.compiler.JSEncoding.internalName(JSEncoding.scala:287)
[error] 	at org.scalajs.core.compiler.JSEncoding.makeParamsString(JSEncoding.scala:278)
[error] 	at org.scalajs.core.compiler.JSEncoding.encodeMethodNameInternal(JSEncoding.scala:198)
[error] 	at org.scalajs.core.compiler.JSEncoding.encodeMethodSym(JSEncoding.scala:150)
[error] 	at org.scalajs.core.compiler.JSEncoding.encodeMethodSym$(JSEncoding.scala:148)
[error] 	at org.scalajs.core.compiler.GenJSCode.encodeMethodSym(GenJSCode.scala:37)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genApplyMethod(GenJSCode.scala:2874)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genNormalApply(GenJSCode.scala:2717)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genApply(GenJSCode.scala:2374)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genStatOrExpr(GenJSCode.scala:1909)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genExpr(GenJSCode.scala:1834)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genBody$1(GenJSCode.scala:1764)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genMethodDef(GenJSCode.scala:1769)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genMethodWithCurrentLocalNameScope$8(GenJSCode.scala:1553)
[error] 	at org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genMethodWithCurrentLocalNameScope$1(GenJSCode.scala:1515)
[error] 	at org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genMethodWithCurrentLocalNameScope(GenJSCode.scala:1460)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genMethod$1(GenJSCode.scala:1424)
[error] 	at org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] 	at org.scalajs.core.compiler.JSEncoding.withNewLocalNameScope(JSEncoding.scala:63)
[error] 	at org.scalajs.core.compiler.JSEncoding.withNewLocalNameScope$(JSEncoding.scala:59)
[error] 	at org.scalajs.core.compiler.GenJSCode.withNewLocalNameScope(GenJSCode.scala:37)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genMethod(GenJSCode.scala:1424)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.gen$1(GenJSCode.scala:398)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genClass$3(GenJSCode.scala:389)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$genClass$3$adapted(GenJSCode.scala:389)
[error] 	at scala.collection.immutable.List.foreach(List.scala:312)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.gen$1(GenJSCode.scala:389)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.genClass(GenJSCode.scala:404)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$apply$6(GenJSCode.scala:320)
[error] 	at org.scalajs.core.compiler.util.ScopedVar$.withScopedVars(ScopedVar.scala:47)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.$anonfun$apply$5(GenJSCode.scala:307)
[error] 	at scala.collection.immutable.List.foreach(List.scala:312)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.apply(GenJSCode.scala:294)
[error] 	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:451)
[error] 	at scala.tools.nsc.Global$GlobalPhase.run(Global.scala:396)
[error] 	at org.scalajs.core.compiler.GenJSCode$JSCodePhase.run(GenJSCode.scala:225)
[error] 	at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1510)
[error] 	at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1494)
[error] 	at scala.tools.nsc.Global$Run.compileSources(Global.scala:1486)
[error] 	at scala.tools.nsc.Global$Run.compile(Global.scala:1615)
[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 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:1149)
[error] 	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error] 	at java.lang.Thread.run(Thread.java:748)
[error] (coreJS / Test / compileIncremental) scala.reflect.internal.FatalError: 
[error]   Unknown type: <error>, <error> [class scala.reflect.internal.Types$ErrorType$, class scala.reflect.internal.Types$ErrorType$] TypeRef? false
[error]      while compiling: ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]         during phase: jscode
[error]      library version: version 2.13.0
[error]     compiler version: version 2.13.0
[error]   reconstructed args: -Xplugin:~/.ivy2/cache/org.scala-js/scalajs-compiler_2.13.0/jars/scalajs-compiler_2.13.0-0.6.28.jar -Xplugin:~/.ivy2/cache/org.typelevel/kind-projector_2.13/jars/kind-projector_2.13-0.10.3.jar -deprecation -language:higherKinds -language:implicitConversions -bootclasspath /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar:/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar:/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar:/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar:/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar:/usr/lib/jvm/java-8-oracle/jre/classes:~/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.13.0.jar -classpath ~/kittens/core/.js/target/scala-2.13/test-classes:~/kittens/core/.js/target/scala-2.13/classes:~/.ivy2/cache/org.scala-js/scalajs-library_2.13/jars/scalajs-library_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-core_2.13/jars/cats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-macros_2.13/jars/cats-macros_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/machinist_2.13/jars/machinist_2.13-0.6.8.jar:~/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.13.0.jar:~/.ivy2/cache/org.typelevel/cats-kernel_2.13/jars/cats-kernel_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/alleycats-core_2.13/jars/alleycats-core_2.13-2.0.0-M4.jar:~/.ivy2/cache/com.chuusai/shapeless_2.13/bundles/shapeless_2.13-2.3.3.jar:~/.ivy2/cache/org.scala-js/scalajs-test-interface_2.13/jars/scalajs-test-interface_2.13-0.6.28.jar:~/.ivy2/cache/org.typelevel/cats-testkit_2.13/jars/cats-testkit_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-laws_2.13/jars/cats-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.typelevel/cats-kernel-laws_2.13/jars/cats-kernel-laws_2.13-2.0.0-M4.jar:~/.ivy2/cache/org.scalacheck/scalacheck_2.13/jars/scalacheck_2.13-1.14.0.jar:~/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:~/.ivy2/cache/org.typelevel/discipline-core_2.13/jars/discipline-core_2.13-0.12.0-M3.jar:~/.ivy2/cache/org.scalatest/scalatest_2.13/bundles/scalatest_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scalactic/scalactic_2.13/bundles/scalactic_2.13-3.1.0-SNAP13.jar:~/.ivy2/cache/org.scala-lang.modules/scala-xml_2.13/bundles/scala-xml_2.13-1.2.0.jar:~/.ivy2/cache/org.scalatestplus/scalatestplus-scalacheck_2.13/bundles/scalatestplus-scalacheck_2.13-1.0.0-SNAP8.jar:~/.ivy2/cache/org.typelevel/discipline-scalatest_2.13/jars/discipline-scalatest_2.13-0.12.0-M3.jar -unchecked -feature
[error] 
[error]   last tree to typer: TypeTree(class String)
[error]        tree position: line 93 of ~/kittens/core/src/test/scala/cats/derived/empty.scala
[error]             tree tpe: String
[error]               symbol: final class String in package lang
[error]    symbol definition: final class String extends Serializable with Comparable with CharSequence (a ClassSymbol)
[error]       symbol package: java.lang
[error]        symbol owners: class String
[error]            call site: object EmptySuite$Mask in package derived in package derived
[error] 
[error] == Source file context for tree position ==
[error] 
[error]     90 
[error]     91   trait Dummy
[error]     92   final case class Chain(head: Int, tail: Chain)
[error]     93   final case class Mask(bits: Int)
[error]     94   object Mask {
[error]     95     implicit val empty: Empty[Mask] = Empty(Mask(0xffffffff))
[error]     96   }
[error] (coreJVM / Test / compileIncremental) Compilation failed
[error] Total time: 5 s, completed Jun 26, 2019 12:42:12 AM

Expectation:

The code should not compile with a type error (implicit not found).
@dwijnand dwijnand added this to the 2.13.1 milestone Jun 26, 2019
@lrytz
Copy link
Member

lrytz commented Jun 26, 2019

cc @milessabin

@xuwei-k
Copy link

xuwei-k commented Jun 27, 2019

related or duplicate #11524 ? 🤔

@joroKr21
Copy link
Member Author

Ah yes you are right

@joroKr21 joroKr21 mentioned this issue Jun 27, 2019
Closed
@milessabin
Copy link

I'll keep this one actually ... I'll have an easier time reducing the kittens example.

@milessabin milessabin reopened this Jun 27, 2019
@milessabin
Copy link

milessabin commented Jul 2, 2019 •
edited
Loading

Minimized as,

object Test {
  class A
  class B

  implicit def mkA(implicit b: => B): A = ???
  implicit def mkB(implicit a: A, i: Int): B = ???

  implicitly[A]
}

@milessabin milessabin reopened this Jul 3, 2019
milessabin added a commit to milessabin/scala that referenced this issue Jul 3, 2019
@milessabin
Reject incomplete implicit dictionaries
a1d17e5 
If any RHS of a recursive implicit dictionary (after pruning) is an
EmptyTree, then this indicates that implicit search failed and we should
report the overall search as a failure.

Fixes scala/bug#11591.
@milessabin milessabin mentioned this issue Jul 3, 2019
Merged
@milessabin
Copy link

PR here: scala/scala#8201.

Confirmed that it fixes the original Kittens issue: I was able to replace all the commented out printlns with illTyped and tests compiled and ran.

milessabin added a commit to milessabin/scala that referenced this issue Jul 3, 2019
@milessabin
Reject incomplete implicit dictionaries
1bc9787 
If any RHS of a recursive implicit dictionary (after pruning) is an
EmptyTree, then this indicates that implicit search failed and we should
report the overall search as a failure.

Fixes scala/bug#11591.
@milessabin milessabin mentioned this issue Jul 3, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@milessabin milessabin

Labels
compiler crash should not compile
Projects
None yet
Milestone
2.13.1
Development

Successfully merging a pull request may close this issue.

Reject incomplete implicit dictionaries milessabin/scala
5 participants
@lrytz @milessabin @dwijnand @xuwei-k @joroKr21