Rename notInitialized to uninitialized

Author: odersky

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

@@ -225,13 +225,13 @@ class Definitions {
 
   @tu lazy val CompiletimePackageObject: Symbol = requiredModule("scala.compiletime.package")
     @tu lazy val Compiletime_codeOf: Symbol = CompiletimePackageObject.requiredMethod("codeOf")
-    @tu lazy val Compiletime_erasedValue   : Symbol = CompiletimePackageObject.requiredMethod("erasedValue")
-    @tu lazy val Compiletime_notInitialized: Symbol = CompiletimePackageObject.requiredMethod("notInitialized")
-    @tu lazy val Compiletime_error         : Symbol = CompiletimePackageObject.requiredMethod(nme.error)
-    @tu lazy val Compiletime_requireConst  : Symbol = CompiletimePackageObject.requiredMethod("requireConst")
-    @tu lazy val Compiletime_constValue    : Symbol = CompiletimePackageObject.requiredMethod("constValue")
-    @tu lazy val Compiletime_constValueOpt : Symbol = CompiletimePackageObject.requiredMethod("constValueOpt")
-    @tu lazy val Compiletime_summonFrom    : Symbol = CompiletimePackageObject.requiredMethod("summonFrom")
+    @tu lazy val Compiletime_erasedValue  : Symbol = CompiletimePackageObject.requiredMethod("erasedValue")
+    @tu lazy val Compiletime_uninitialized: Symbol = CompiletimePackageObject.requiredMethod("uninitialized")
+    @tu lazy val Compiletime_error        : Symbol = CompiletimePackageObject.requiredMethod(nme.error)
+    @tu lazy val Compiletime_requireConst : Symbol = CompiletimePackageObject.requiredMethod("requireConst")
+    @tu lazy val Compiletime_constValue   : Symbol = CompiletimePackageObject.requiredMethod("constValue")
+    @tu lazy val Compiletime_constValueOpt: Symbol = CompiletimePackageObject.requiredMethod("constValueOpt")
+    @tu lazy val Compiletime_summonFrom   : Symbol = CompiletimePackageObject.requiredMethod("summonFrom")
   @tu lazy val CompiletimeTestingPackage: Symbol = requiredPackage("scala.compiletime.testing")
     @tu lazy val CompiletimeTesting_typeChecks: Symbol = CompiletimeTestingPackage.requiredMethod("typeChecks")
     @tu lazy val CompiletimeTesting_typeCheckErrors: Symbol = CompiletimeTestingPackage.requiredMethod("typeCheckErrors")

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -3230,8 +3230,8 @@ object Parsers {
                 && !tpt.isEmpty && mods.is(Mutable) && lhs.forall(_.isInstanceOf[Ident]) =>
               if sourceVersion.isAtLeast(`3.1`) then
                 deprecationWarning(
-                  em"""`= _` has been deprecated; use `= notInitialized` instead.
-                      |`notInitialized` needs to be imported from scala.compiletime.""", rhsOffset)
+                  em"""`= _` has been deprecated; use `= uninitialized` instead.
+                      |`uninitialized` needs to be imported from scala.compiletime.""", rhsOffset)
               placeholderParams = placeholderParams.tail
               atSpan(rhs0.span) { Ident(nme.WILDCARD) }
             case rhs0 => rhs0

compiler/src/dotty/tools/dotc/transform/PruneErasedDefs.scala

@@ -19,7 +19,7 @@ import ast.tpd
  *  The phase also replaces all expressions that appear in an erased context by
  *  default values. This is necessary so that subsequent checking phases such
  *  as IsInstanceOfChecker don't give false negatives.
- *  Finally, the phase replaces `compiletime.notInitialized` on the right hand side
+ *  Finally, the phase replaces `compiletime.uninitialized` on the right hand side
  *  of a mutable field definition by `_`. This avoids a "is declared erased, but is
  *  in fact used" error in Erasure and communicates to Constructors that the
  *  variable does not have an initializer.
@@ -49,7 +49,7 @@ class PruneErasedDefs extends MiniPhase with SymTransformer { thisTransform =>
       cpy.ValDef(tree)(rhs = trivialErasedTree(tree))
     else tree.rhs match
       case rhs: TypeApply
-      if rhs.symbol == defn.Compiletime_notInitialized
+      if rhs.symbol == defn.Compiletime_uninitialized
          && sym.is(Mutable) && sym.owner.isClass =>
         cpy.ValDef(tree)(rhs = cpy.Ident(rhs)(nme.WILDCARD))
       case _ =>

docs/docs/reference/dropped-features/wildcard-init.md

@@ -8,11 +8,11 @@ The syntax
   var x: A = _
 ```
 that was used to indicate an uninitialized field has been dropped.
-At its place there is a special value `notInitialized` in the `scala.compiletime` package. To get an uninitialized field, you now write
+At its place there is a special value `uninitialized` in the `scala.compiletime` package. To get an uninitialized field, you now write
 ```scala
-import scala.compiletime.notInitialized
+import scala.compiletime.uninitialized
 
-var x: A = notInitialized
+var x: A = uninitialized
 ```
 To enable cross-compilation, `_` is still supported, but it will be dropped in a future 3.x version.
 

library/src/scala/compiletime/package.scala

@@ -16,14 +16,14 @@ package object compiletime {
    */
   erased def erasedValue[T]: T = ???
 
-  /** Used as the initializer of a class or object field, like this:
+  /** Used as the initializer of a mutable class or object field, like this:
    *
-   *    val x: T = notInitialized
+   *    var x: T = uninitialized
    *
-   *  This signifies that the field is not initialized by its own (On the JVM
+   *  This signifies that the field is not initialized on its own (On the JVM
    *  it is still bulk-initialized to a zero bitfield).
    */
-  erased def notInitialized[T]: T = ???
+  erased def uninitialized[T]: T = ???
 
   /** The error method is used to produce user-defined compile errors during inline expansion.
    *  If an inline expansion results in a call error(msgStr) the compiler produces an error message containing the given msgStr.

tests/neg-strict/i11225.scala

@@ -1,4 +1,4 @@
-import compiletime.notInitialized
+import compiletime.uninitialized
 
 class Memo[A](x: => A):
   private var cached: A = _ // error

tests/neg/i11225.scala

@@ -1,5 +1,5 @@
-import compiletime.notInitialized
+import compiletime.uninitialized
 
 @main def Test(x: Boolean) =
-  var cached: Int = notInitialized   // error
-  cached = if x then 1 else notInitialized  // error
+  var cached: Int = uninitialized   // error
+  cached = if x then 1 else uninitialized  // error

tests/pos/i11225.scala

@@ -1,8 +1,8 @@
-import compiletime.notInitialized
+import compiletime.uninitialized
 
 class Memo[A](x: => A):
-  private var cached1: A = notInitialized
-  private var cached: A = notInitialized
+  private var cached1: A = uninitialized
+  private var cached: A = uninitialized
   private var known: Boolean = false
   def force =
     if !known then