Bump scala-library from 2.12.4 to 2.13.1

[dependabot-preview]

Bumps scala-library from 2.12.4 to 2.13.1.

Release notes

Sourced from scala-library's releases.

Scala 2.13.1 is primarily a bug fix release that fixes several regressions in 2.13.0.

Collection-related regressions

• Revert Stream.Cons to the 2.12 encoding (#8354)
• Don't rebuild scala.Seq to drop elems in unapplySeq (#8340)
• Blacken subtrees where necessary in RedBlackTree.take (#8287)
• Iterator#flatMap#hasNext calls outer#hasNext 1 time, not 2-3 times (#8220)
• s.c.Map#values returns a strict Iterable rather than a View (#8195)
• Vector.from(ArraySeq) copies elems rather than reusing unsafeArray (#8194)
• Fix mutable.HashSet.addAll: remove redundant call to super method (#8192)
• Fix mutable.ArraySeq.ofChar#addString (#8176)
• Fix HashMap#mapValuesInPlace (#8421)

Other regressions

• Avoid spurious "illegal cyclic reference" errors (#8382)
• Stabilize args of apply (#8202)
• Reject incomplete implicit dictionaries (#8201)
• Process exit code on script errors (#8169)
• Fix type inference involving wildcards (#8129)

Other bug fixes and improvements

• Extend the Gradle / sbt 0.13 leniency to Windows (#8408)
• Avoid unnecessary toSeq conversions in Seq methods (#8374)
• Avoid memory leaks in Stream methods (#8367)
• Precompile -i files for script runner (#8349)
• Stop warning on higher-kinded usage without -language:higherKinds (#8348)
• Simplify reporters (#8338)
• More efficient ArraySeq iteration (#8300)
• Enable hyperlinking to Java docs (#8284)
• Parent implicitNotFound message is supplemental (#8280)
• Add protected and private visibility filters to scaladoc (#8183)
• Fix vulnerability in jQuery used in ScalaDoc (#8179)
• Synthesize a PartialFunction from function literal (#8172)
• Fix parsing of try (#8071)
• Support emitting Java 9 bytecode by adding "-target:9" (#8060)
• Deprecate mutable.MultiMap (#8005)
• Add syntactic sugar for if(_) (#7707)
• A foreign definition induces ambiguity (#7609)

This is not a complete list of changes. For that, see all merged PRs and all closed bugs.

Compatibility

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

Contributors

... (truncated)

Commits

• 3987e83 Merge pull request #8422 from lrytz/t11737-dotty
• ae3c857 Avoid dotty compiler crash
• 4b35778 Merge pull request #8421 from lrytz/t11737
• 3e3f22b Don't use iterator to modify the underlying Map in mapValuesInPlace
• a3791d4 Merge pull request #8410 from szeiger/wip/revert-7588
• a26c917 Revert "VectorBuilder avoids copying data if possible"
• 64a5a5d Merge pull request #8194 from joshlemer/issue/11600
• d602ff4 Merge pull request #7609 from som-snytt/issue/10662
• ead235c Merge pull request #8408 from eed3si9n/wip/bridge-hack
• f797de2 Merge pull request #8405 from retronym/merge/2.12.x-to-2.13.x-20190909
• 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)

Finally, you can contact us by mentioning @dependabot.

[dependabot-preview]

Superseded by #89.