From ca3ac857425806a521cb0d9acc442810a6f6610e Mon Sep 17 00:00:00 2001
From: Hamza Remmal <hamza@remmal.net>
Date: Wed, 23 Jul 2025 12:33:51 +0100
Subject: [PATCH] chore: add `scala.language.experimental.separationChecking`
 to the non-patched stdlib

---
 library/src/scala/language.scala | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/library/src/scala/language.scala b/library/src/scala/language.scala
index 9a8cb768a4a9..47194f14a7b6 100644
--- a/library/src/scala/language.scala
+++ b/library/src/scala/language.scala
@@ -279,6 +279,13 @@ object language {
     @compileTimeOnly("`captureChecking` can only be used at compile time in import statements")
     object captureChecking
 
+    /** Experimental support for separation checking; requires captureChecking also to be enabled.
+     *
+     *  @see [[https://dotty.epfl.ch/docs/reference/experimental/cc]]
+     */
+    @compileTimeOnly("`separationChecking` can only be used at compile time in import statements")
+    object separationChecking
+
     /** Experimental support for automatic conversions of arguments, without requiring
      *  a language import `import scala.language.implicitConversions`.
      *