Define Predef.assert overwrite directly in Scala 2 library TASTy

Define `assert` in `scala.Predef` instead `scala.runtime.stdLibPatches.Predef`.
We assume that all patches to `scala.Predef` are inline methods, therefore
if we see an inline method in `scala.Predef` we do not patch it with the
method in `scala.runtime.stdLibPatches.Predef`.

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -1437,7 +1437,7 @@ class Definitions {
           !patch.isConstructor && !patch.isOneOf(PrivateOrSynthetic))
         for patch <- patches if !recurse(patch) do
           val e = scope.lookupEntry(patch.name)
-          if e != null then scope.unlink(e)
+          if e != null && !e.sym.isInlineMethod then scope.unlink(e)
         for patch <- patches do
           patch.ensureCompleted()
           if !recurse(patch) then

project/MiMaFilters.scala

@@ -20,6 +20,9 @@ object MiMaFilters {
   val StdlibBootstrappedBackwards: Map[String, Seq[ProblemFilter]] = Map(
     Build.stdlibBootstrappedVersion -> {
       Seq(
+        // Methods overwritten in `scala.Predef` instead of `scala.runtime.stdLibPatches`
+        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Predef.assert"),
+
         // Files that are not compiled in the bootstrapped library
         ProblemFilters.exclude[MissingClassProblem]("scala.AnyVal"),
 

scala2-library-bootstrapped/src/scala/Predef.scala

@@ -259,7 +259,7 @@ object Predef extends LowPriorityImplicits {
    *  @group assertions
    */
   @elidable(ASSERTION)
-  def assert(assertion: Boolean): Unit = {
+  transparent inline def assert(inline assertion: Boolean): Unit = {
     if (!assertion)
       throw new java.lang.AssertionError("assertion failed")
   }
@@ -274,7 +274,7 @@ object Predef extends LowPriorityImplicits {
    *  @group assertions
    */
   @elidable(ASSERTION) @inline
-  final def assert(assertion: Boolean, message: => Any): Unit = {
+  transparent inline def assert(inline assertion: Boolean, inline message: => Any): Unit = {
     if (!assertion)
       throw new java.lang.AssertionError("assertion failed: "+ message)
   }