Bump scala3-library_3 from 3.1.2 to 3.1.3

[dependabot[bot]]

⚠️ Dependabot is rebasing this PR ⚠️

Rebasing might not happen immediately, so don't worry if this takes some time.

Note: if you make any changes to this PR yourself, they will take precedence over the rebase.

---

Bumps scala3-library_3 from 3.1.2 to 3.1.3.

Release notes

Sourced from scala3-library_3's releases.

3.1.3-RC5

Notable changes

• Avoid NPE in simplify #15310
• Eta expand export forwarders that have context function types #15217
• Fix #15220: Windows scripts do not delegate to MainGenericRunner #15325
• Re-establish missing symbol from previous phase (in one specific case) #15295
• Partially revert #14026 - Fixes 4 regressions #15343

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.1.3-RC4..3.1.3-RC5 these are:

  7  odersky
  2  Paweł Marks
  1  Stéphane Micheloud
  1  Tom Grigg

3.1.3-RC4

Notable changes

• Fix lack of type avoidance in argument lifting #15229
• Avoid overeager completion of Java annotations in classfile parser #15185
• Implement scalac script in Scala #15212

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.1.3-RC3..3.1.3-RC4 these are:

2  Paweł Marks
1  Guillaume Martres
1  Jamie Thompson
1  Tom Grigg

3.1.3-RC3

Notable changes

• More aggressive reduction of type selection (fixes parboiled2) #14987
• Relax avoidance checks more for match type reduction #15036

Contributors

... (truncated)

Commits

• 3a4ac15 Release 3.1.3
• fa86e0b Add changelog for 3.1.3
• faa08c8 Release 3.1.3-RC5
• 28f1cea Add changelog for 3.1.3-RC5
• f84e673 Merge pull request #15388 from dotty-staging/backport-15343
• 91ea5b6 Merge pull request #15389 from dotty-staging/backport-15295
• 828f666 Re-establish missing symbol from previous phase (in one specific case)
• d3e0483 Move failing tests to pending
• aead506 Revert "Remove now-unnecessary avoid when typing closures"
• 5ea0f7b Revert "Check that we pickle a definition before its references"
• 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)