Experimental bookkeeping chores

Author: odersky

compiler/src/dotty/tools/dotc/config/Feature.scala

@@ -41,7 +41,7 @@ object Feature:
   def experimentalAutoEnableFeatures(using Context): List[TermName] =
     defn.languageExperimentalFeatures
       .map(sym => experimental(sym.name))
-      .filterNot(_ == captureChecking) // TODO is this correct?
+      .filterNot(sym => sym == captureChecking || sym == separationChecking) // TODO is this correct?
 
   val values = List(
     (nme.help, "Display all available features"),

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -926,6 +926,7 @@ object Checking {
         val name = Feature.experimental(sel.name)
         name == Feature.scala2macros
         || name == Feature.captureChecking
+        || name == Feature.separationChecking
       trees.filter {
         case Import(qual, selectors) =>
           languageImport(qual) match

project/MiMaFilters.scala

@@ -16,6 +16,8 @@ object MiMaFilters {
 
         ProblemFilters.exclude[MissingFieldProblem]("scala.runtime.stdLibPatches.language.2.13"),
         ProblemFilters.exclude[MissingClassProblem]("scala.runtime.stdLibPatches.language$2$u002E13$"),
+        ProblemFilters.exclude[MissingFieldProblem]("scala.runtime.stdLibPatches.language#experimental.separationChecking"),
+        ProblemFilters.exclude[MissingClassProblem]("scala.runtime.stdLibPatches.language$experimental$separationChecking$"),
 
         ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Conversion.underlying"),
         ProblemFilters.exclude[MissingClassProblem]("scala.Conversion$"),