Extract throwing the assertions of assert() in the runtime library.

Author: sjrd

compiler/test/dotty/tools/backend/jvm/InlineBytecodeTests.scala

@@ -54,7 +54,7 @@ class InlineBytecodeTests extends DottyBytecodeTest {
     val sources = List(
       mkSource("assert(true)", "()"),
       mkSource("assert(true, ???)", "()"),
-      mkSource("assert(false)", "{ throw new java.lang.AssertionError(\"assertion failed\") }")
+      mkSource("assert(false)", "scala.runtime.Scala3RunTime.assertFailed()")
     )
     for (source <- sources)
       checkBCode(source) { dir =>

library/src/dotty/DottyPredef.scala

@@ -5,12 +5,12 @@ object DottyPredef {
 
   inline final def assert(inline assertion: Boolean, inline message: => Any): Unit = {
     if (!assertion)
-      throw new java.lang.AssertionError("assertion failed: " + message)
+      scala.runtime.Scala3RunTime.assertFailed(message)
   }
 
   transparent inline final def assert(inline assertion: Boolean): Unit = {
     if (!assertion)
-      throw new java.lang.AssertionError("assertion failed")
+      scala.runtime.Scala3RunTime.assertFailed()
   }
 
   inline final def implicitly[T](implicit ev: T): T = ev

library/src/scala/runtime/Scala3RunTime.scala

@@ -0,0 +1,13 @@
+package scala.runtime
+
+object Scala3RunTime:
+
+  // Called by inline def assert's. Extracted to minimize the bytecode size at call site.
+
+  def assertFailed(message: Any): Nothing =
+    throw new java.lang.AssertionError("assertion failed: " + message)
+
+  def assertFailed(): Nothing =
+    throw new java.lang.AssertionError("assertion failed")
+
+end Scala3RunTime