Disable experimental by default in unstable builds

nicolasstucki · nicolasstucki · commit eb477fd54119 · 2024-03-11T11:58:42.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/config/Feature.scala b/compiler/src/dotty/tools/dotc/config/Feature.scala
@@ -142,8 +142,7 @@ object Feature:
         em"""Experimental $which may only be used under experimental mode:
             |  1. in a definition marked as @experimental, or
             |  2. an experimental feature is imported in at the package level, or
-            |  3. compiling with the -experimental compiler flag, or
-            |  4. with a nightly or snapshot version of the compiler.$note
+            |  3. compiling with the -experimental compiler flag.$note
             |""", srcPos)
 
   private def ccException(sym: Symbol)(using Context): Boolean =
@@ -162,7 +161,6 @@ object Feature:
       checkExperimentalFeature("definition", srcPos, s"\n\n$note")
 
   def isExperimentalEnabledBySetting(using Context): Boolean =
-    (Properties.unstableExperimentalEnabled && !ctx.settings.YnoExperimental.value) ||
     ctx.settings.experimental.value ||
     experimentalAutoEnableFeatures.exists(enabledBySetting)
 
diff --git a/compiler/src/dotty/tools/dotc/config/Properties.scala b/compiler/src/dotty/tools/dotc/config/Properties.scala
@@ -84,12 +84,6 @@ trait PropertiesTrait {
    */
   val versionString: String = "version " + simpleVersionString
 
-  /** Whether the current version of compiler is experimental
-   *
-   *  Snapshot, nightly releases and non-bootstrapped compiler are experimental.
-   */
-  val unstableExperimentalEnabled: Boolean = versionString.contains("SNAPSHOT") || versionString.contains("NIGHTLY") || versionString.contains("nonbootstrapped")
-
   /** Whether the current version of compiler supports research plugins. */
   val researchPluginEnabled: Boolean = versionString.contains("SNAPSHOT") || versionString.contains("NIGHTLY") || versionString.contains("nonbootstrapped")
 
diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala
@@ -399,7 +399,7 @@ private sealed trait YSettings:
   val YretainTrees: Setting[Boolean] = BooleanSetting("-Yretain-trees", "Retain trees for top-level classes, accessible from ClassSymbol#tree")
   val YshowTreeIds: Setting[Boolean] = BooleanSetting("-Yshow-tree-ids", "Uniquely tag all tree nodes in debugging output.")
   val YfromTastyIgnoreList: Setting[List[String]] = MultiStringSetting("-Yfrom-tasty-ignore-list", "file", "List of `tasty` files in jar files that will not be loaded when using -from-tasty.")
-  val YnoExperimental: Setting[Boolean] = BooleanSetting("-Yno-experimental", "Disable experimental language features by default in NIGHTLY/SNAPSHOT versions of the compiler.")
+  val YnoExperimental: Setting[Boolean] = BooleanSetting("-Yno-experimental", "Disable experimental language features by default in NIGHTLY/SNAPSHOT versions of the compiler (deprecated, no-op).")
   val YlegacyLazyVals: Setting[Boolean] = BooleanSetting("-Ylegacy-lazy-vals", "Use legacy (pre 3.3.0) implementation of lazy vals.")
   val YcompileScala2Library: Setting[Boolean] = BooleanSetting("-Ycompile-scala2-library", "Used when compiling the Scala 2 standard library.")
   val YoutputOnlyTasty: Setting[Boolean] = BooleanSetting("-Youtput-only-tasty", "Used to only generate the TASTy file without the classfiles")
diff --git a/compiler/test/dotty/tools/backend/jvm/PublicInBinaryTests.scala b/compiler/test/dotty/tools/backend/jvm/PublicInBinaryTests.scala
@@ -42,7 +42,6 @@ class PublicInBinaryTests extends DottyBytecodeTest {
   override def initCtx =
     val ctx0 = super.initCtx
     ctx0.setSetting(ctx0.settings.experimental, true)
-    ctx0.setSetting(ctx0.settings.YnoExperimental, true)
 
   @Test
   def publicInBinaryDef(): Unit = {
diff --git a/docs/_docs/reference/other-new-features/experimental-defs.md b/docs/_docs/reference/other-new-features/experimental-defs.md
@@ -265,10 +265,7 @@ Experimental definitions can only be referenced in an experimental scope. Experi
 
    </details>
 
-6. Any code compiled using a [_Nightly_](https://search.maven.org/artifact/org.scala-lang/scala3-compiler_3) or _Snapshot_ version of the compiler is considered to be in an experimental scope.
-Can use the `-Yno-experimental` compiler flag to disable it and run as a proper release.
-
-7. An experimental language feature is imported in at the package level. All top-level definitions will be marked as `@experimental`.
+6. An experimental language feature is imported in at the package level. All top-level definitions will be marked as `@experimental`.
 
 In any other situation, a reference to an experimental definition will cause a compilation error.
 
diff --git a/docs/_spec/TODOreference/other-new-features/experimental-defs.md b/docs/_spec/TODOreference/other-new-features/experimental-defs.md
@@ -265,10 +265,7 @@ Experimental definitions can only be referenced in an experimental scope. Experi
 
    </details>
 
-6. Any code compiled using a [_Nightly_](https://search.maven.org/artifact/org.scala-lang/scala3-compiler_3) or _Snapshot_ version of the compiler is considered to be in an experimental scope.
-Can use the `-Yno-experimental` compiler flag to disable it and run as a proper release.
-
-7. An experimental language feature is imported in at the package level. All top-level definitions will be marked as `@experimental`.
+6. An experimental language feature is imported in at the package level. All top-level definitions will be marked as `@experimental`.
 
 In any other situation, a reference to an experimental definition will cause a compilation error.
 
diff --git a/project/Build.scala b/project/Build.scala
@@ -1759,6 +1759,9 @@ object Build {
       SourceLinksIntegrationTest / scalaSource := baseDirectory.value / "test-source-links",
       SourceLinksIntegrationTest / test:= ((SourceLinksIntegrationTest / test) dependsOn generateScalaDocumentation.toTask("")).value,
     ).
+    settings(
+      scalacOptions += "-experimental" // workaround use of experimental .info in Scaladoc2AnchorCreator
+    ).
     settings(
       Compile / resourceGenerators ++= Seq(
         generateStaticAssetsTask.taskValue,
diff --git a/scala2-library-cc/src/scala/collection/generic/IsSeq.scala b/scala2-library-cc/src/scala/collection/generic/IsSeq.scala
@@ -58,17 +58,17 @@ object IsSeq {
     * The helper method [[seqViewIsSeq_]] is added to make the binary compatible.
     */
   @annotation.targetName("seqViewIsSeq")
-  @annotation.publicInBinary
-  private[IsSeq] def seqViewIsSeq_[CC0[X] <: SeqView[X], A0]: IsSeq[CC0[A0]] { type A = A0; type C = View[A0] } = ???
+  // @annotation.publicInBinary private[IsSeq] // FIXME: enable when publicInBinary becomes stable
+  def seqViewIsSeq_[CC0[X] <: SeqView[X], A0]: IsSeq[CC0[A0]] { type A = A0; type C = View[A0] } = ???
   implicit inline def seqViewIsSeq[CC0[X] <: SeqView[X], A0]: IsIterable[CC0[A0]] { type A = A0; type C = View[A0] } = seqViewIsSeq_[CC0, A0].asInstanceOf
 
   /** !!! Under cc, views are not Seqs and can't use SeqOps.
     * Therefore, [[stringViewIsSeq]] now returns an [[IsIterable]].
     * The helper method [[stringViewIsSeq__]] is added to make the binary compatible.
     */
   @annotation.targetName("stringViewIsSeq")
-  @annotation.publicInBinary
-  private[IsSeq] val stringViewIsSeq_ : IsSeq[StringView] { type A = Char; type C = View[Char] } = ???
+  // @annotation.publicInBinary private[IsSeq] // FIXME: enable when publicInBinary becomes stable
+  val stringViewIsSeq_ : IsSeq[StringView] { type A = Char; type C = View[Char] } = ???
   inline implicit def stringViewIsSeq: IsIterable[StringView] { type A = Char; type C = View[Char] } = stringViewIsSeq_.asInstanceOf
 
   implicit val stringIsSeq: IsSeq[String] { type A = Char; type C = String } =
diff --git a/scaladoc-testcases/src/tests/hugetype.scala b/scaladoc-testcases/src/tests/hugetype.scala
@@ -30,7 +30,7 @@ trait E:
   @deprecated
   protected implicit def same[A](a: A): A
 
-trait XD extends E:
+@experimental trait XD extends E:
   /**
    * Some important information :o
    *
diff --git a/scaladoc-testcases/src/tests/methodsAndConstructors.scala b/scaladoc-testcases/src/tests/methodsAndConstructors.scala
@@ -1,5 +1,7 @@
 package tests.methodsAndConstructors
 
+import scala.language.experimental.clauseInterleaving
+
 class A
 class B extends A
 class C
@@ -60,8 +62,6 @@ class Methods:
  def withImplicitParam2(v: String)(implicit ab: Double, a: Int, b: String): String
  = ???
 
- import scala.language.experimental.clauseInterleaving
-
  def clauseInterleaving[T](x: T)[U](y: U)(using (T, U)): (T, U)
  = ???
 
diff --git a/scaladoc/src/dotty/tools/scaladoc/snippets/SnippetCompiler.scala b/scaladoc/src/dotty/tools/scaladoc/snippets/SnippetCompiler.scala
@@ -27,6 +27,7 @@ class SnippetCompiler(
   object SnippetDriver extends Driver:
     val currentCtx =
       val rootCtx = initCtx.fresh.addMode(Mode.ReadPositions).addMode(Mode.Interactive)
+      rootCtx.setSetting(rootCtx.settings.experimental, true)
       rootCtx.setSetting(rootCtx.settings.YretainTrees, true)
       rootCtx.setSetting(rootCtx.settings.YcookComments, true)
       rootCtx.setSetting(rootCtx.settings.YreadComments, true)
diff --git a/tests/init-global/pos/global-region1.scala b/tests/init-global/pos/global-region1.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.annotation.init.region
 
 trait B { def foo(): Int }
diff --git a/tests/init-global/warn/i18628_3.scala b/tests/init-global/warn/i18628_3.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.annotation.init.widen
 
 object Test:
diff --git a/tests/neg-macros/i19842/Macro.scala b/tests/neg-macros/i19842/Macro.scala
@@ -1,3 +1,4 @@
+//> using options -experimental
 
 import scala.annotation.{experimental, targetName}
 import scala.quoted.*
diff --git a/tests/neg/experimental-nested-imports-2.scala b/tests/neg/experimental-nested-imports-2.scala
@@ -1,5 +1,3 @@
-//> using options -Yno-experimental
-
 import annotation.experimental
 
 class Class1:
diff --git a/tests/neg/experimental-nested-imports-3.scala b/tests/neg/experimental-nested-imports-3.scala
@@ -1,5 +1,3 @@
-//> using options -Yno-experimental
-
 import annotation.experimental
 
 class Class1:
diff --git a/tests/neg/experimental-nested-imports.scala b/tests/neg/experimental-nested-imports.scala
@@ -1,5 +1,3 @@
-//> using options -Yno-experimental
-
 import annotation.experimental
 
 class Class1:
diff --git a/tests/neg/i13091.check b/tests/neg/i13091.check
@@ -0,0 +1,15 @@
+-- [E190] Potential Issue Warning: tests/neg/i13091.scala:7:17 ---------------------------------------------------------
+7 |def test: Unit = new Foo // error: class Foo is marked @experimental ...
+  |                 ^^^^^^^
+  |                 Discarded non-Unit value of type Foo. You may want to use `()`.
+  |
+  | longer explanation available when compiling with `-explain`
+-- Error: tests/neg/i13091.scala:7:21 ----------------------------------------------------------------------------------
+7 |def test: Unit = new Foo // error: class Foo is marked @experimental ...
+  |                     ^^^
+  |                     Experimental definition may only be used under experimental mode:
+  |                       1. in a definition marked as @experimental, or
+  |                       2. an experimental feature is imported in at the package level, or
+  |                       3. compiling with the -experimental compiler flag.
+  |
+  |                     class Foo is marked @experimental
diff --git a/tests/neg/inline-unstable-accessors.scala b/tests/neg/inline-unstable-accessors.scala
@@ -1,4 +1,4 @@
-//> using options -Werror -WunstableInlineAccessors -explain
+//> using options -experimental -Werror -WunstableInlineAccessors -explain
 
 package foo
 import scala.annotation.publicInBinary
diff --git a/tests/neg/overrides.scala b/tests/neg/overrides.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 class Foo {
   type A = Int
   type B >: Int <: Int
diff --git a/tests/neg/publicInBinaryOverride.check b/tests/neg/publicInBinaryOverride.check
@@ -1,5 +1,5 @@
--- [E164] Declaration Error: tests/neg/publicInBinaryOverride.scala:8:15 -----------------------------------------------
-8 |  override def f(): Unit = () // error
-  |               ^
-  |               error overriding method f in class A of type (): Unit;
-  |                 method f of type (): Unit also needs to be declared with @publicInBinary
+-- [E164] Declaration Error: tests/neg/publicInBinaryOverride.scala:10:15 ----------------------------------------------
+10 |  override def f(): Unit = () // error
+   |               ^
+   |               error overriding method f in class A of type (): Unit;
+   |                 method f of type (): Unit also needs to be declared with @publicInBinary
diff --git a/tests/neg/publicInBinaryOverride.scala b/tests/neg/publicInBinaryOverride.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.annotation.publicInBinary
 
 class A:
diff --git a/tests/neg/use-experimental-def.check b/tests/neg/use-experimental-def.check
@@ -4,7 +4,6 @@
   |               Experimental definition may only be used under experimental mode:
   |                 1. in a definition marked as @experimental, or
   |                 2. an experimental feature is imported in at the package level, or
-  |                 3. compiling with the -experimental compiler flag, or
-  |                 4. with a nightly or snapshot version of the compiler.
+  |                 3. compiling with the -experimental compiler flag.
   |
   |               method foo is marked @experimental
diff --git a/tests/pos-custom-args/captures/curried-closures.scala b/tests/pos-custom-args/captures/curried-closures.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 object Test:
   def map2(xs: List[Int])(f: Int => Int): List[Int] = xs.map(f)
   val f1 = map2
diff --git a/tests/pos-macros/erasedArgs/Test_2.scala b/tests/pos-macros/erasedArgs/Test_2.scala
@@ -1 +1,3 @@
+//> using options -experimental
+
 def test: "1abc" = mcr
diff --git a/tests/pos/TupleReverse.scala b/tests/pos/TupleReverse.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.Tuple.*
 def test[T1, T2, T3, T4] =
   summon[Reverse[EmptyTuple] =:= EmptyTuple]
diff --git a/tests/pos/TupleReverseOnto.scala b/tests/pos/TupleReverseOnto.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.Tuple.*
 def test[T1, T2, T3, T4] =
   summon[ReverseOnto[(T1, T2), (T3, T4)] =:= ReverseOnto[(T1, T2), (T3, T4)]]
diff --git a/tests/pos/experimental-flag.scala b/tests/pos/experimental-flag.scala
@@ -1,4 +1,4 @@
-//> using options -experimental -Yno-experimental
+//> using options -experimental
 
 import scala.annotation.experimental
 
diff --git a/tests/pos/i13091.scala b/tests/pos/i13091.scala
diff --git a/tests/pos/i7851.scala b/tests/pos/i7851.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 trait Wrappable[T] { }
 given Wrappable[Float] with { }
 
diff --git a/tests/pos/overrides.scala b/tests/pos/overrides.scala
@@ -1,7 +1,9 @@
+//> using options -experimental
+
 class A[T] {
 
   def f(x: T)(y: T = x) = y
-  
+
   import scala.language.experimental.clauseInterleaving
 
   def b[U <: T](x: Int)[V >: T](y: String) = false
diff --git a/tests/pos/tupled-function-instances.scala b/tests/pos/tupled-function-instances.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.util.TupledFunction
 object Test {
   def main(args: Array[String]): Unit = {
diff --git a/tests/run-deep-subtype/Tuple-reverse.scala b/tests/run-deep-subtype/Tuple-reverse.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.reflect.ClassTag
 
 object Test {
diff --git a/tests/run-macros/i12021/Macro_1.scala b/tests/run-macros/i12021/Macro_1.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.quoted.*
 
 inline def inspect[A]: String =
diff --git a/tests/run-macros/i17105/Test_3.scala b/tests/run-macros/i17105/Test_3.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import reflect.Selectable.reflectiveSelectable
 
 class Hoe { def f(x: Int): String = s"Hoe got ${x}" }
diff --git a/tests/run-macros/macro-erased/Test_2.scala b/tests/run-macros/macro-erased/Test_2.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 object Test {
   def main(args: Array[String]): Unit = {
     assert(Macro.foo1(1) == 0)
diff --git a/tests/run/i13215.scala b/tests/run/i13215.scala
@@ -1,4 +1,4 @@
-//> using options -Werror -WunstableInlineAccessors
+//> using options -experimental -Werror -WunstableInlineAccessors
 
 import scala.annotation.publicInBinary
 
diff --git a/tests/run/interleaving.scala b/tests/run/interleaving.scala
@@ -1,5 +1,6 @@
+import scala.language.experimental.clauseInterleaving
+
 object Test extends App {
-  import scala.language.experimental.clauseInterleaving
   trait Key { type Value }
   trait DB {
     def getOrElse(k: Key)[V >: k.Value](default: V): V // dependent type parameter
diff --git a/tests/run/noProtectedSuper.scala b/tests/run/noProtectedSuper.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.annotation.publicInBinary
 
 package p {
diff --git a/tests/run/publicInBinary/Lib_1.scala b/tests/run/publicInBinary/Lib_1.scala
@@ -1,4 +1,4 @@
-//> using options -Werror -WunstableInlineAccessors
+//> using options -experimental -Werror -WunstableInlineAccessors
 
 package foo
 
diff --git a/tests/run/publicInBinary/Test_2.scala b/tests/run/publicInBinary/Test_2.scala
@@ -1,3 +1,4 @@
+//> using options -experimental
 import foo.*
 
 @main def Test: Unit =
diff --git a/tests/run/quotes-add-erased/Macro_1.scala b/tests/run/quotes-add-erased/Macro_1.scala
@@ -1,3 +1,5 @@
+//> using options -experimental
+
 import scala.annotation.MacroAnnotation
 import scala.annotation.internal.ErasedParam
 import scala.quoted._
diff --git a/tests/run/quotes-reflection/Macros_1.scala b/tests/run/quotes-reflection/Macros_1.scala
@@ -1,3 +1,6 @@
+
+//> using options -experimental
+
 import scala.quoted.*
 
 inline def inspect[A]: String =

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ trait E:`
`30`	`30`	`@deprecated`
`31`	`31`	`protected implicit def same[A](a: A): A`
`32`	`32`
`33`		`-trait XD extends E:`
	`33`	`+@experimental trait XD extends E:`
`34`	`34`	`/**`
`35`	`35`	`* Some important information :o`
`36`	`36`	`*`