Remove DottyPredef

Author: nicolasstucki

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

@@ -497,17 +497,6 @@ class Definitions {
     def staticsMethodRef(name: PreName): TermRef = ScalaStaticsModule.requiredMethodRef(name)
     def staticsMethod(name: PreName): TermSymbol = ScalaStaticsModule.requiredMethod(name)
 
-  // Dotty deviation: we cannot use a @tu lazy val here because @tu lazy vals in dotty
-  // will return "null" when called recursively, see #1856.
-  def DottyPredefModule: Symbol = {
-    if (myDottyPredefModule == null) {
-      myDottyPredefModule = getModuleIfDefined("dotty.DottyPredef")
-      assert(myDottyPredefModule != null)
-    }
-    myDottyPredefModule
-  }
-  private var myDottyPredefModule: Symbol = _
-
   @tu lazy val DottyArraysModule: Symbol = requiredModule("scala.runtime.Arrays")
     def newGenericArrayMethod(using Context): TermSymbol = DottyArraysModule.requiredMethod("newGenericArray")
     def newArrayMethod(using Context): TermSymbol = DottyArraysModule.requiredMethod("newArray")
@@ -1338,10 +1327,8 @@ class Definitions {
     JavaImportFns :+
     RootRef(() => ScalaPackageVal.termRef)
 
-  private val PredefImportFns: List[RootRef] = List(
-    RootRef(() => ScalaPredefModule.termRef, isPredef=true),
-    RootRef(() => DottyPredefModule.termRef)
-  )
+  private val PredefImportFns: RootRef =
+    RootRef(() => ScalaPredefModule.termRef, isPredef=true)
 
   @tu private lazy val JavaRootImportFns: List[RootRef] =
     if ctx.settings.YnoImports.value then Nil
@@ -1350,7 +1337,7 @@ class Definitions {
   @tu private lazy val ScalaRootImportFns: List[RootRef] =
     if ctx.settings.YnoImports.value then Nil
     else if ctx.settings.YnoPredef.value then ScalaImportFns
-    else ScalaImportFns ++ PredefImportFns
+    else ScalaImportFns :+ PredefImportFns
 
   @tu private lazy val JavaRootImportTypes: List[TermRef] = JavaRootImportFns.map(_.refFn())
   @tu private lazy val ScalaRootImportTypes: List[TermRef] = ScalaRootImportFns.map(_.refFn())
@@ -1382,7 +1369,7 @@ class Definitions {
     else ScalaUnqualifiedOwnerTypes
 
   /** Names of the root import symbols that can be hidden by other imports */
-  @tu lazy val ShadowableImportNames: Set[TermName] = Set("Predef", "DottyPredef").map(_.toTermName)
+  @tu lazy val ShadowableImportNames: Set[TermName] = Set("Predef".toTermName)
 
   /** Class symbols for which no class exist at runtime */
   @tu lazy val NotRuntimeClasses: Set[Symbol] = Set(AnyClass, AnyValClass, NullClass, NothingClass)

compiler/src/dotty/tools/dotc/typer/ImportInfo.scala

@@ -51,7 +51,7 @@ object ImportInfo {
  *  @param   symNameOpt    Optionally, the name of the import symbol. None for root imports.
  *                         Defined for all explicit imports from ident or select nodes.
  *  @param   isRootImport  true if this is one of the implicit imports of scala, java.lang,
- *                         scala.Predef or dotty.DottyPredef in the start context, false otherwise.
+ *                         scala.Predef in the start context, false otherwise.
  */
 class ImportInfo(symf: Context ?=> Symbol,
                  val selectors: List[untpd.ImportSelector],

language-server/test/dotty/tools/languageserver/CompletionTest.scala

@@ -23,7 +23,7 @@ class CompletionTest {
       ))
   }
 
-  @Test def completionFromDottyPredef: Unit = {
+  @Test def completionFromNewScalaPredef: Unit = {
     code"class Foo { val foo = summ${m1} }".withSource
       .completion(m1, Set(("summon", Method, "[T](using x: T): x.type")))
   }

library/src/dotty/DottyPredef.scala renamed to library/src-non-bootstrapped/dotty/DottyPredef.scala

@@ -1,6 +1,5 @@
 package test
 
-import dotty._
 import Predef.{any2stringadd => _, StringAdd => _, _}
 
 object implicitDefs {

tests/neg/implicitDefs.scala

@@ -1,5 +1,4 @@
 import Predef.{assert => _}
-import dotty.DottyPredef.{assert => _}
 
 object Test {
   assert("asdf" == "asdf") // error: not found assert

tests/neg/nopredef.scala

@@ -1,6 +1,5 @@
 package test
 
-import dotty._
 import Predef.{any2stringadd => _, StringAdd => _, _}
 
 object rootImplicits {

tests/neg/rootImplicits.scala

@@ -16,7 +16,7 @@ object Test {
   val z = depfun3(d)
   val z1: d.M = z
 
-  // Reproduced here because the one from DottyPredef is lacking a parameter dependency of the return type `ev.type`
+  // Reproduced here because the one from Predef is lacking a parameter dependency of the return type `ev.type`
   inline final def implicitly[T](implicit ev: T): ev.type = ev
 
   type IDF = (x: C) ?=> x.M

tests/pos/depfuntype.scala

@@ -11,5 +11,5 @@ type ManualLambda[a] = Tc1[a] & Tc2[a]
 object app extends App {
   implicitly[Tc1[X]] //ok
   implicitly[ManualLambda[X]] // ok
-  implicitly[Tc1[X] & Tc2[X]] // no implicit argument of type Tc1[X] & Tc2[X] was found for parameter ev of method implicitly in object DottyPredef
+  implicitly[Tc1[X] & Tc2[X]] // no implicit argument of type Tc1[X] & Tc2[X] was found for parameter ev of method implicitly in object Predef
 }

tests/pos/i6384.scala

@@ -1,4 +1,3 @@
-import dotty._
 
 object Test {
   def main(args: Array[String]) = {