Do cross version checks on import qualifiers

 - keep all imports around until erasure
 - traverse import qualifiers to do cross version checks on their constituents
 - fix parts of the build that imported the deprecated package scala.collection.JavaConverters

Fixes #15479

Author: odersky

compiler/src/dotty/tools/backend/jvm/GenBCode.scala

@@ -8,7 +8,7 @@ import dotty.tools.dotc.ast.tpd
 import dotty.tools.dotc.core.Phases.Phase
 
 import scala.collection.mutable
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import dotty.tools.dotc.transform.SymUtils._
 import dotty.tools.dotc.interfaces
 import dotty.tools.dotc.report
@@ -605,13 +605,13 @@ class GenBCodePipeline(val int: DottyBackendInterface, val primitives: DottyPrim
       // Statistics.stopTimer(BackendStats.bcodeWriteTimer, writeStart)
     catch
       case e: MethodTooLargeException =>
-        val method = 
+        val method =
           s"${e.getClassName.replaceAll("/", ".")}.${e.getMethodName}"
-        val msg = 
-          s"Generated bytecode for method '$method' is too large. Size: ${e.getCodeSize} bytes. Limit is 64KB" 
+        val msg =
+          s"Generated bytecode for method '$method' is too large. Size: ${e.getCodeSize} bytes. Limit is 64KB"
         report.error(msg)
       case e: ClassTooLargeException =>
-        val msg = 
+        val msg =
           s"Class '${e.getClassName.replaceAll("/", ".")}' is too large. Constant pool size: ${e.getConstantPoolCount}. Limit is 64K entries"
         report.error(msg)
 

compiler/src/dotty/tools/dotc/classpath/DirectoryClassPath.scala

@@ -14,7 +14,7 @@ import dotty.tools.io.{AbstractFile, PlainFile, ClassPath, ClassRepresentation,
 import FileUtils._
 import PlainFile.toPlainFile
 
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import scala.collection.immutable.ArraySeq
 import scala.util.control.NonFatal
 

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

@@ -4,7 +4,7 @@ import scala.annotation.tailrec
 import scala.collection.mutable.ArrayBuffer
 import java.lang.Character.isWhitespace
 import java.nio.file.{Files, Paths}
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 
 /** A simple enough command line parser.
  */

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

@@ -22,7 +22,7 @@ trait WrappedProperties extends PropertiesTrait {
   override def envOrNone(name: String): Option[String]       = wrap(super.envOrNone(name)).flatten
 
   def systemProperties: Iterator[(String, String)] = {
-    import scala.collection.JavaConverters._
+    import scala.jdk.CollectionConverters._
     wrap(System.getProperties.asScala.iterator) getOrElse Iterator.empty
   }
 }

compiler/src/dotty/tools/dotc/profile/Profiler.scala

@@ -81,7 +81,7 @@ private [profile] object NoOpProfiler extends Profiler {
   override def finished(): Unit = ()
 }
 private [profile] object RealProfiler {
-  import scala.collection.JavaConverters._
+  import scala.jdk.CollectionConverters._
   val runtimeMx: RuntimeMXBean = ManagementFactory.getRuntimeMXBean
   val memoryMx: MemoryMXBean = ManagementFactory.getMemoryMXBean
   val gcMx: List[GarbageCollectorMXBean] = ManagementFactory.getGarbageCollectorMXBeans.asScala.toList

compiler/src/dotty/tools/dotc/semanticdb/Tools.scala

@@ -2,7 +2,7 @@ package dotty.tools.dotc.semanticdb
 
 import java.nio.file._
 import java.nio.charset.StandardCharsets
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import dotty.tools.dotc.util.SourceFile
 import dotty.tools.dotc.semanticdb.Scala3.given
 

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

@@ -138,7 +138,6 @@ class FirstTransform extends MiniPhase with InfoTransformer { thisPhase =>
   }
 
   override def transformOther(tree: Tree)(using Context): Tree = tree match {
-    case tree: Import if untpd.languageImport(tree.expr).isEmpty => EmptyTree
     case tree: Export => EmptyTree
     case tree: NamedArg => transformAllDeep(tree.arg)
     case tree => if (tree.isType) toTypeTree(tree) else tree

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

@@ -33,7 +33,7 @@ class CrossVersionChecks extends MiniPhase:
     val xMigrationValue = ctx.settings.Xmigration.value
     if xMigrationValue != NoScalaVersion then
       checkMigration(sym, pos, xMigrationValue)
-
+  end checkUndesiredProperties
 
   /** If @deprecated is present, and the point of reference is not enclosed
    * in either a deprecated member or a scala bridge method, issue a warning.
@@ -176,6 +176,15 @@ class CrossVersionChecks extends MiniPhase:
     tree
   }
 
+  override def transformOther(tree: Tree)(using Context): Tree = tree match
+    case tree: Import =>
+      tree.foreachSubTree {
+        case t: RefTree => checkUndesiredProperties(t.symbol, t.srcPos)
+        case _ =>
+      }
+      tree
+    case _ => tree
+
 end CrossVersionChecks
 
 object CrossVersionChecks:

compiler/src/dotty/tools/repl/ReplDriver.scala

@@ -36,7 +36,7 @@ import org.jline.reader._
 
 import scala.annotation.tailrec
 import scala.collection.mutable
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import scala.util.Using
 
 /** The state of the REPL contains necessary bindings instead of having to have

compiler/test/dotty/tools/TestSources.scala

@@ -5,7 +5,7 @@ import scala.language.unsafeNulls
 import java.io.File
 import java.nio.file._
 
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 
 object TestSources {
 

compiler/test/dotty/tools/backend/jvm/AsmConverters.scala

@@ -5,7 +5,7 @@ import scala.language.unsafeNulls
 import scala.tools.asm
 import asm._
 import asm.tree._
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 
 /** Makes using ASM from tests more convenient.
  *

compiler/test/dotty/tools/backend/jvm/AsmNode.scala

@@ -6,7 +6,7 @@ import java.lang.reflect.Modifier
 import scala.tools.asm
 import asm._
 import asm.tree._
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 
 sealed trait AsmNode[+T] {
   def node: T

compiler/test/dotty/tools/backend/jvm/DottyBytecodeTest.scala

@@ -15,10 +15,9 @@ import dotty.tools.io.{VirtualDirectory => Directory}
 import scala.tools.asm
 import asm._
 import asm.tree._
-import scala.collection.JavaConverters._
 
 import io.{AbstractFile, JavaClassPath, VirtualDirectory}
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import scala.tools.asm.{ClassWriter, ClassReader}
 import scala.tools.asm.tree._
 import java.io.{File => JFile, InputStream}

compiler/test/dotty/tools/backend/jvm/InlineBytecodeTests.scala

@@ -7,7 +7,7 @@ import org.junit.Test
 
 import scala.tools.asm.Opcodes._
 
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 
 class InlineBytecodeTests extends DottyBytecodeTest {
   import ASMConverters._

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

@@ -12,7 +12,7 @@ import org.junit.experimental.categories.Category
 import java.io.File
 import java.nio.file._
 import java.util.stream.{ Stream => JStream }
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import scala.util.matching.Regex
 import scala.concurrent.duration._
 import TestSources.sources

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

@@ -9,7 +9,7 @@ import dotty.tools.dotc.config.CompilerCommand
 import dotty.tools.dotc.core.Contexts.FreshContext
 import scala.tools.asm.tree.MethodNode
 
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 
 class ConstantFoldingTests extends DottyBytecodeTest {
 

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

@@ -12,7 +12,7 @@ import org.junit.experimental.categories.Category
 import java.io.File
 import java.nio.file._
 import java.util.stream.{ Stream => JStream }
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import scala.util.matching.Regex
 import scala.concurrent.duration._
 import TestSources.sources

compiler/test/dotty/tools/dotc/classpath/MultiReleaseJarTest.scala

@@ -12,7 +12,7 @@ import java.util.jar.Attributes.Name
 import org.junit.Assert._
 import org.junit.Test
 
-import scala.collection.JavaConverters._
+import scala.jdk.CollectionConverters._
 import scala.util.Properties
 
 class MultiReleaseJarTest extends dotty.tools.backend.jvm.DottyBytecodeTest {

compiler/test/dotty/tools/dotc/transform/SpecializeFunctionsTests.scala

@@ -10,7 +10,7 @@ import dotty.tools.backend.jvm.DottyBytecodeTest
 
 class SpecializeFunctionsTests extends DottyBytecodeTest {
 
-  import scala.collection.JavaConverters._
+  import scala.jdk.CollectionConverters._
 
   @Test def specializeParentIntToInt = {
     val source = """

compiler/test/dotty/tools/vulpix/SummaryReport.scala

@@ -63,7 +63,7 @@ final class NoSummaryReport extends SummaryReporting {
  *  which outputs to a log file in `./testlogs/`
  */
 final class SummaryReport extends SummaryReporting {
-  import scala.collection.JavaConverters._
+  import scala.jdk.CollectionConverters._
 
   private val startingMessages = new java.util.concurrent.ConcurrentLinkedDeque[String]
   private val failedTests = new java.util.concurrent.ConcurrentLinkedDeque[String]

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

@@ -14,7 +14,7 @@ def test1: Unit =
   f() // error: def f is marked @experimental and therefore ...
   x // error: value x is marked @experimental and therefore ...
   X.fx() // error: object X is marked @experimental and therefore ...
-  import X.fx
+  import X.fx // error: object X is marked @experimental and therefore ...
   fx() // error: object X is marked @experimental and therefore ...
 
 @experimental

tests/neg-strict/i15479.scala

@@ -0,0 +1,16 @@
+package deptest {
+  @deprecated("Not used any more", since="7")
+  object DeprecatedThing {
+    val oldValue = 42
+  }
+}
+
+package depuser {
+  import deptest.DeprecatedThing.* // error
+
+  object DepUser {
+    def main(args: Array[String]): Unit = println {
+      oldValue
+    }
+  }
+}