Bump scala-library from 2.12.4 to 2.13.5

[dependabot-preview]

Bumps scala-library from 2.12.4 to 2.13.5.

Release notes

Sourced from scala-library's releases.

Scala 2.13.5

The Scala 2 team at Lightbend is pleased to announce the availability of Scala 2.13.5.

Highlights

• TASTy reader: add support for Scala 3.0.0-RC1 (#9501, #9394, #9357) — thank you @bishabosha!
• Allow name-based extractors to be irrefutable (#9343) — thank you @martijnhoekstra!
• Upgrade to ASM 9.1, for JDK 16 and 17 support in the optimizer (#9489, #9480)

Other changes

• Assorted improvements to exhaustivity checking in pattern matching (#9479, #9472, #9474, #9313, #9462)
• Assorted improvements to handling of higher-kinded types, aligning with Scala 3 (#9400, #9404, #9405, #9414, #9417, #9439) — thank you @joroKr21!
• Make -target support JVM 13, 14, 15, 16, and 17 (#9489, #9481)
• Omit @nowarn annotations from generated code, for forwards compatibility at compile-time (#9491)
• Add linting of unused context bounds (via -Wunused:synthetics or -Wunused:params) (#9346) — thank you @som-snytt!
• Lift artificial restrictions on ConstantAnnotations (#9379)
• Make Java Map wrappers handle nulls according to put/remove contract (#9344) — thank you @som-snytt!
• Make language specification available as a PDF (#7432) — thank you @sake92!

Some small changes that will ship in 2.12.14 are also included in this release.

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

Compatibility

As usual for our minor releases, Scala 2.13.5 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.

This release was brought to you by 23 contributors, according to git shortlog -sn --no-merges HEAD ^v2.13.4 ^2.12.x. Thank you Seth Tisue, A. P. Marki, Dale Wijnand, NthPortal, Jamie Thompson, Lukas Rytz, Martijn Hoekstra, Georgi Krastev, Jason Zaugg, Jasper Moeys, Sakib Hadziavdic, Anatolii Kmetiuk, Arnaud Gourlay, Marcono1234, Chia-Ping Tsai, Mike Skells, Stefan Zeiger, Waleed Khan, Yann Bolliger, Guillaume Martres, 梦境迷离, Ethan Atkins, Darcy Shen.

Thanks to Lightbend for their continued sponsorship of the Scala core team’s efforts. Lightbend offers commercial support for Scala.

Scala 2.13 notes

The release notes for Scala 2.13.0 have important information applicable to the whole 2.13 series.

Obtaining Scala

Scala releases are available through a variety of channels, including (but not limited to):

• Bump the scalaVersion setting in your sbt-based project
• Download a distribution from scala-lang.org
• Obtain JARs via Maven Central

... (truncated)

Commits

• 8cc248d Merge pull request #9516 from SethTisue/bionic-for-spec-only
• 96acb81 fix publishing: only use bionic in spec job, not main job
• 0870164 Merge pull request #9511 from SethTisue/mailmap
• 4b9fb9d Merge pull request #9514 from SethTisue/revert-sbt-pgp-upgrade
• f1a2a3d Revert "upgrade sbt-pgp to 2.1.2"
• a4c0b51 Merge pull request #9513 from SethTisue/upgrade-sbt-pgp
• d3f2197 upgrade sbt-pgp to 2.1.2
• 51c1e92 update mailmap, post-2.13.5
• eb8cb18 Merge pull request #9491 from lrytz/t12336
• 2aac322 Merge pull request #9351 from martijnhoekstra/specNameBasedExtractors
• 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 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)
• @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
• @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
• @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
• @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
• @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

• Update frequency (including time of day and day of week)
• Pull request limits (per update run and/or open at any time)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)

[dependabot-preview]

Superseded by #137.