Fix #11654: create new symbol for stdlib patches

Author: liufengyun

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -1111,7 +1111,6 @@ class Definitions {
    *  is read from a classfile.
    */
   def patchStdLibClass(denot: ClassDenotation)(using Context): Unit =
-
     def patch2(denot: ClassDenotation, patchCls: Symbol): Unit =
       val scope = denot.info.decls.openForMutations
       def recurse(patch: Symbol) = patch.is(Module) && scope.lookup(patch.name).exists
@@ -1124,9 +1123,10 @@ class Definitions {
         for patch <- patches do
           patch.ensureCompleted()
           if !recurse(patch) then
-            patch.denot = patch.denot.copySymDenotation(owner = denot.symbol)
-            scope.enter(patch)
-          else if patch.isClass then
+            val copy = patch.copy(owner = denot.symbol)
+            copy.denot = patch.denot.copySymDenotation(symbol = copy, owner = denot.symbol)
+            scope.enter(copy)
+          if patch.isClass then
             patch2(scope.lookup(patch.name).asClass, patch)
 
     def patchWith(patchCls: Symbol) =

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

@@ -150,7 +150,7 @@ class BootstrappedOnlyCompilationTests {
 
   @Test def picklingWithCompiler: Unit = {
     val jvmBackendFilter = FileFilter.exclude(List("BTypes.scala", "Primitives.scala")) // TODO
-    val runtimeFilter = FileFilter.exclude(List("Tuple.scala", "stdLibPatches")) // TODO
+    val runtimeFilter = FileFilter.exclude(List("Tuple.scala")) // TODO
     implicit val testGroup: TestGroup = TestGroup("testPicklingWithCompiler")
     aggregateTests(
       compileDir("compiler/src/dotty/tools", picklingWithCompilerOptions, recursive = false),

library/src/scala/runtime/stdLibPatches/language.scala

@@ -1,5 +1,7 @@
 package scala.runtime.stdLibPatches
 
+import scala.annotation.compileTimeOnly
+
 /** Scala 3 additions and replacements to the `scala.language` object.
  */
 object language:
@@ -29,18 +31,21 @@ object language:
       *
       * @see [[https://dotty.epfl.ch/docs/reference/other-new-features/named-typeargs]]
       */
+    @compileTimeOnly("`namedTypeArguments` can only be used at compile time in import statements")
     object namedTypeArguments
 
     /** Experimental support for generic number literals.
       *
       * @see [[https://dotty.epfl.ch/docs/reference/changed-features/numeric-literals]]
       */
+    @compileTimeOnly("`genericNumberLiterals` can only be used at compile time in import statements")
     object genericNumberLiterals
 
     /** Experimental support for `erased` modifier
      *
      *  @see [[https://dotty.epfl.ch/docs/reference/experimental/erased-defs]]
      */
+    @compileTimeOnly("`erasedDefinitions` can only be used at compile time in import statements")
     object erasedDefinitions
 
   end experimental
@@ -49,13 +54,15 @@ object language:
    *  Features in this object are slated for removal. New code should not use them and
    *  old code should migrate away from them.
    */
+  @compileTimeOnly("`deprecated` can only be used at compile time in import statements")
   object deprecated:
 
     /** Symbol literals have been deprecated since 2.13. Since Scala 3.0 they
      *  are no longer an official part of Scala. For compatibility with legacy software,
      *  symbol literals are still supported with a language import, but new software
      *  should not use them.
      */
+    @compileTimeOnly("`symbolLiterals` can only be used at compile time in import statements")
     object symbolLiterals
   end deprecated
 
@@ -69,6 +76,7 @@ object language:
     * '''Why allow it?''' Not allowing auto-tupling is difficult to reconcile with
     * operators accepting tuples.
     */
+  @compileTimeOnly("`noAutoTupling` can only be used at compile time in import statements")
   object noAutoTupling
 
   /** Where imported, loose equality using eqAny is disabled.
@@ -78,6 +86,7 @@ object language:
     *
     * @see [[https://dotty.epfl.ch/docs/reference/contextual/multiversal-equality]]
     */
+  @compileTimeOnly("`strictEquality` can only be used at compile time in import statements")
   object strictEquality
 
   /** Where imported, ad hoc extensions of non-open classes in other
@@ -96,29 +105,35 @@ object language:
    *  such extensions should be limited in scope and clearly documented.
    *  That's why the language import is required for them.
    */
+  @compileTimeOnly("`adhocExtensions` can only be used at compile time in import statements")
   object adhocExtensions
 
   /** Unsafe Nulls fot Explicit Nulls
     * Inside the "unsafe" scope, `Null` is considered as a subtype of all reference types.
     *
     * @see [[http://dotty.epfl.ch/docs/reference/other-new-features/explicit-nulls.html]]
     */
+  @compileTimeOnly("`unsafeNulls` can only be used at compile time in import statements")
   object unsafeNulls
 
+  @compileTimeOnly("`future` can only be used at compile time in import statements")
   object future
 
+  @compileTimeOnly("`future-migration` can only be used at compile time in import statements")
   object `future-migration`
 
   /** Set source version to 3.0-migration.
     *
     * @see [[https://scalacenter.github.io/scala-3-migration-guide/docs/scala-3-migration-mode]]
     */
+  @compileTimeOnly("`3.0-migration` can only be used at compile time in import statements")
   object `3.0-migration`
 
   /** Set source version to 3.0.
     *
     * @see [[https://scalacenter.github.io/scala-3-migration-guide/docs/scala-3-migration-mode]]
     */
+  @compileTimeOnly("`3.0` can only be used at compile time in import statements")
   object `3.0`
 
 /* This can be added when we go to 3.1