Test with -Yno-experimental

Author: odersky

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

@@ -98,7 +98,7 @@ object Feature:
       false
 
   def allowExperimentalFeatures(using Context) =
-    Config.allowExperimentalFeatures
+    Config.allowExperimentalFeatures && !ctx.settings.YnoExperimental.value
 
   def checkExperimentalFeature(which: String, srcPos: SrcPos = NoSourcePosition)(using Context) =
     if !allowExperimentalFeatures then

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

@@ -215,6 +215,7 @@ class ScalaSettings extends Settings.SettingGroup with CommonScalaSettings {
   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")
 
   val YprofileEnabled: Setting[Boolean] = BooleanSetting("-Yprofile-enabled", "Enable profiling.")
   val YprofileDestination: Setting[String] = StringSetting("-Yprofile-destination", "file", "Where to send profiling output - specify a file, default is to the console.", "")

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -130,6 +130,7 @@ class CompilationTests {
       compileFilesInDir("tests/neg-custom-args/allow-double-bindings", allowDoubleBindings),
       compileFilesInDir("tests/neg-custom-args/allow-deep-subtypes", allowDeepSubtypes),
       compileFilesInDir("tests/neg-custom-args/explicit-nulls", defaultOptions.and("-Yexplicit-nulls")),
+      compileFilesInDir("tests/neg-custom-args/no-experimental", defaultOptions.and("-Yno-experimental")),
       compileDir("tests/neg-custom-args/impl-conv", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileFile("tests/neg-custom-args/implicit-conversions.scala", defaultOptions.and("-Xfatal-warnings", "-feature")),
       compileFile("tests/neg-custom-args/implicit-conversions-old.scala", defaultOptions.and("-Xfatal-warnings", "-feature")),

tests/neg-custom-args/no-experimental/experimental.scala

@@ -0,0 +1,25 @@
+class Test0 {
+  import language.experimental.namedTypeArguments // error
+  object Foo {
+    inline def f[S, T](x: S): T = ???
+    def g(x: Int) = f[T = Any](x)                 // error
+  }
+}
+
+class Test1 {
+  import language.experimental.erasedDefinitions  // error
+  import scala.compiletime.erasedValue
+  type UnivEq[A]
+  object UnivEq:
+    erased def force[A]: UnivEq[A] = erasedValue  // error // error // error
+    extension [A](erased proof: UnivEq[A])        // error
+      inline def univEq(a: A, b: A): Boolean =
+        a == b
+}
+
+class Test1 {
+  import language.experimental.genericNumberLiterals // error
+  val x: BigInt = 13232202002020202020202
+  val y: BigInt = -0xaabb12345ACF12345AC
+}
+