Bump scala-library from 2.12.4 to 2.13.2

[dependabot-preview]

Bumps scala-library from 2.12.4 to 2.13.2.

Release notes

Sourced from scala-library's releases.

Scala 2.13.2 has:

• a brand-new Vector implementation
• configurable warnings
• an improved REPL (now JLine 3 based)
• bugfixes and more

Vector

• Rewrite Vector (using "radix-balanced finger tree vectors"), for performance (#8534)

Small vectors are now more compactly represented. Some operations are now drastically faster on large vectors. A few operations may be a little slower.

Kudos to @szeiger for this work.

Configurable warnings

• Add -Wconf flag for configurable warnings, @nowarn annotation for local suppression (#8373)

Note that scala-collection-compat 2.1.6 (or newer) provides @nowarn for cross-built projects (as a no-op on 2.11 and 2.12).

Special thanks to Roman Janusz (@ghik), whose silencer plugin was the basis for this work.

REPL improvements

• REPL: upgrade to JLine 3 (benefits include multi-line editing) (#8036)
• Default true -Yrepl-class-based and -Yuse-magic-imports (#8748)
  • -Yrepl-class-based avoids deadlocks
  • -Yuse-magic-imports improves performance for long sessions
• Improve REPL display of method types (#8319)

Special thanks to @som-snytt for spearheading the JLine 3 upgrade.

We are tracking JLine-related improvements and regressions here. There some known regressions in some less-vital features and behaviors; we plan to address these in future 2.13.x releases.

Language changes

• Unicode escapes are now ordinary escape sequences (not processed early) (#8282)

Compiler fixes

• Plug many variance holes (in higher-kinded types, refined types, and private inner classes) (#8545)
• Fix variance handling for parameterized type aliases (#8651)
• Exclude universal members (getClass, toString, etc) from root module import (#8541)
• Matching strings makes switches in bytecode (#8451)

Deprecations

• Deprecate eta-expansion, via trailing underscore, of methods with no argument lists (#8836)
• Deprecate nested class shadowing in "override" position (#8705)

... (truncated)

Commits

• 706ef1b add mailmap entry
• 7d29ccc Merge pull request #8905 from SethTisue/jline3-improved-completion
• ee2b5ae REPL: JLine 3: tab completion: indicate deprecated?, universal?, arity
• 19fd1a1 bump JLine version to 3.14.1 (was 3.14.0)
• 8de6e34 Merge pull request #8906 from SethTisue/the-return-of-xnojline
• 1989e0d REPL: JLine 3: bring back -Xnojline, but deprecate it
• d69a1ef Merge pull request #8904 from SethTisue/scaladoc-regression
• 8983b69 fix buggy Java version check in Scaladoc tool
• 51233da Merge pull request #8900 from som-snytt/review/8558
• 2c61430 Don't rewrite assignment of untyped qual
• 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 #92.