Bump org.scala-lang:scala-library from 2.13.12 to 2.13.16

[dependabot]

Bumps org.scala-lang:scala-library from 2.13.12 to 2.13.16.

Release notes

Sourced from org.scala-lang:scala-library's releases.

Scala 2.13.16

The Scala team at Akka (formerly Lightbend) is pleased to announce Scala 2.13.16.

The following changes are highlights of this release:

Breaking change

• On the empty string, .tail and .init now throw (instead of returning the empty string) (#10851 by @​sh0hei)
  • This is a bugfix, but be aware that existing code might, perhaps inadvertently, be relying on the old behavior

Compatibility

• Support Scala 3.6 in TASTy reader (#10893)
• Support JDK 24 in optimizer (via ASM upgrade) (#10888 by @​Philippus)

REPL

• REPL: JLine 3.27.1 (was 3.26.3) and on Windows use JNI not JNA (#10899, #10898, #10882)
  • These upgrades hopefully won't be noticed, but, REPL users on Windows take note
  • JNA is no longer a dependency of scala-compiler.jar

Align with Scala 3

• Under -Xsource:3, deprecate infix named args (#10857 by @​som-snytt)

Errors and warnings

• Fix 2.13.15-only false positives with -Wunused:patvars (#10870 by @​som-snytt)

Collections

• Do not use rangeHash when rangeDiff is 0 (#10912 by @​Friendseeker)
  • This may affect fragile code relying on ordering of hash-based collections
• Deprecate collection.mutable.AnyRefMap (#10862 by @​wangyum)
  • Since Scala 2.13.0 it has no performance advantage over collection.mutable.HashMap

More changes

For the complete 2.13.16 change lists, see all merged PRs and all closed bugs.

Compatibility

As usual for our minor releases, Scala 2.13.16 is binary-compatible with the whole Scala 2.13 series.

Upgrading from 2.12? Enable -Xmigration while upgrading to request migration advice from the compiler.

Contributors

A big thank you to everyone who's helped improve Scala by reporting bugs, improving our documentation, spreading kindness in discussions around Scala, and submitting and reviewing pull requests! You are all magnificent.

... (truncated)

Commits

• 3f6bdae Merge pull request #10978 from scala/no-travis-ci-for-pr-validation
• f748f82 no more Travis-CI for PR validation, use GitHub Actions
• d2ab49d do not build the spec during PR validation
• 92a9eb2 Merge pull request #10974 from SethTisue/merge-2.12-to-2.13-20250106
• cb415ba Merge pull request #10966 from SethTisue/re-fix-sbt-bridge
• 942284b correctly fix NoClassDefFoundError in sbt bridge
• 63cf7c4 Merge remote-tracking branch 'origin/2.12.x' into merge-2.12-to-2.13-20250106
• b8a0aeb Merge commit 'b045381055674f3b5bb32b76cb5188116e8356f5' into merge-2.12-to-2....
• 393c05f Merge pull request #10973 from SethTisue/copyright-2025
• 786f44a bump copyright year to 2025
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)