KacperFKorban
commented
1 month ago The underlying issue seems to be a bug in inlining/typing and can be triggered with -Ycheck:inlining.
Slightly smaller minimization:
// i21176_1.scala
import scala.quoted.*
class Macro:
inline def nameTuple[NameTuple_T]: (String, List[NameTuple_T]) = Macro.tuple[NameTuple_T](Macro.named)
object Macro:
def namedMacro(using q: Quotes): Expr[String] = Expr("test")
inline def named: String = ${Macro.namedMacro}
def tuple[Tuple_T](name: String): (String, List[Tuple_T]) = (name, List.empty[Tuple_T])//> using scala 3.nightly
//> using options -Ycheck:inlining
// i21176_2.scala
class Test extends Macro:
val abc = nameTuple[Int]Error:
```scala
checking ~/bugs/i21176/i21176_1.scala after phase inlining
unhandled exception while running Ycheck on ~/bugs/i21176/i21176_1.scala
An unhandled exception was thrown in the compiler.
Please file a crash report here:
https://github.com/scala/scala3/issues/new/choose
For non-enriched exceptions, compile with -Xno-enrich-error-messages.
while compiling: ~/bugs/i21176/i21176_1.scala
during phase: Ycheck
mode: Mode(ImplicitsEnabled)
library version: version 2.13.14
compiler version: version 3.6.0-RC1-bin-20240711-25ad99c-NIGHTLY-git-25ad99c
settings: -Ycheck List(inlining) -classpath ~/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala3-library_3/3.6.0-RC1-bin-20240711-25ad99c-NIGHTLY/scala3-library_3-3.6.0-RC1-bin-20240711-25ad99c-NIGHTLY.jar:~/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.14/scala-library-2.13.14.jar -d ~/bugs/i21176/.scala-build/i21176_f79cd33f3d/classes/main -java-output-version 11 -sourceroot ~/bugs/i21176
Exception in thread "main" java.lang.AssertionError: assertion failed: non-empty constraint at end of inlining: uninstantiated variables: Tuple_T
constrained types: [Tuple_T](name: String): (String, List[Tuple_T])
bounds:
Tuple_T
ordering:
co-deps:
contra-deps:
, ownedVars = Tuple_T
at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
at dotty.tools.dotc.transform.TreeChecker.check(TreeChecker.scala:119)
at dotty.tools.dotc.transform.TreeChecker.run(TreeChecker.scala:111)
at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:380)
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:334)
at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:373)
at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:343)
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:1323)
at dotty.tools.dotc.Run.runPhases$1(Run.scala:336)
at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:384)
at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:396)
at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
at dotty.tools.dotc.Run.compileUnits(Run.scala:396)
at dotty.tools.dotc.Run.compileSources(Run.scala:282)
at dotty.tools.dotc.Run.compile(Run.scala:267)
at dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
at dotty.tools.dotc.Driver.process(Driver.scala:201)
at dotty.tools.dotc.Driver.process(Driver.scala:169)
at dotty.tools.dotc.Driver.process(Driver.scala:181)
at dotty.tools.dotc.Driver.main(Driver.scala:211)
at dotty.tools.dotc.Main.main(Main.scala)
Compilation failed
```
liufengyun
Compiler version
compiler version: version 3.4.2 settings: -Ysafe-init true
Minimized code
Output (click arrow to expand)