We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
scala.language.experimental.separationChecking
2 parents 570e840 + ca3ac85 commit 14b7f03Copy full SHA for 14b7f03
library/src/scala/language.scala
@@ -279,6 +279,13 @@ object language {
279
@compileTimeOnly("`captureChecking` can only be used at compile time in import statements")
280
object captureChecking
281
282
+ /** Experimental support for separation checking; requires captureChecking also to be enabled.
283
+ *
284
+ * @see [[https://dotty.epfl.ch/docs/reference/experimental/cc]]
285
+ */
286
+ @compileTimeOnly("`separationChecking` can only be used at compile time in import statements")
287
+ object separationChecking
288
+
289
/** Experimental support for automatic conversions of arguments, without requiring
290
* a language import `import scala.language.implicitConversions`.
291
*
0 commit comments