Merge pull request #14837 from dotty-staging/reference-version-3.1.2

Set reference version to 3.1.2

Author: Kordyjan

project/Build.scala

@@ -57,7 +57,7 @@ object DottyJSPlugin extends AutoPlugin {
 object Build {
   import ScaladocConfigs._
 
-  val referenceVersion = "3.1.2-RC3"
+  val referenceVersion = "3.1.2"
 
   val baseVersion = "3.1.3-RC1"
 
@@ -75,7 +75,7 @@ object Build {
    *  set to 3.1.3. If it is going to be 3.1.0, it must be set to the latest
    *  3.0.x release.
    */
-  val previousDottyVersion = "3.1.1"
+  val previousDottyVersion = "3.1.2"
 
   object CompatMode {
     final val BinaryCompatible = 0

project/MiMaFilters.scala

@@ -4,21 +4,9 @@ import com.typesafe.tools.mima.core._
 object MiMaFilters {
   val Library: Seq[ProblemFilter] = Seq(
     // Experimental APIs that can be added in 3.2.0 or later
-    ProblemFilters.exclude[DirectMissingMethodProblem]("scala.runtime.Tuples.append"),
     ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#SymbolMethods.asQuotes"),
     ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#SymbolMethods.asQuotes"),
-    ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#TypeReprMethods.substituteTypes"),
-    ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#TypeReprMethods.substituteTypes"),
     ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#TypeReprMethods.typeArgs"),
-    ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#TypeReprMethods.typeArgs"),
-    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.double"),
-    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.double$"),
-    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.float"),
-    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.float$"),
-    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.long"),
-    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.long$"),
-    ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#CompilationInfoModule.XmacroSettings"),
-    ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#CompilationInfoModule.XmacroSettings"),
     ProblemFilters.exclude[DirectMissingMethodProblem]("scala.deriving.Mirror.fromProductTyped"),
     ProblemFilters.exclude[DirectMissingMethodProblem]("scala.deriving.Mirror.fromTuple"),
     ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#ClassDefModule.apply"),
@@ -38,9 +26,6 @@ object MiMaFilters {
     ProblemFilters.exclude[MissingClassProblem]("scala.util.TupledFunction"),
     ProblemFilters.exclude[MissingClassProblem]("scala.util.TupledFunction$"),
 
-    // Private to the compiler - needed for forward binary compatibility
-    ProblemFilters.exclude[MissingClassProblem]("scala.annotation.since"),
-
     // Private inner classes, but we emit all classes as public in Java bytecode
     ProblemFilters.exclude[InaccessibleClassProblem]("scala.quoted.FromExpr$PrimitiveFromExpr"),
     ProblemFilters.exclude[InaccessibleClassProblem]("scala.quoted.Type$ValueOf$"),