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$"),