Chore(deps): Bump Dunet from 1.11.4 to 1.13.1

[dependabot]

Updated Dunet from 1.11.4 to 1.13.1.

Release notes

Sourced from Dunet's releases.

1.13.1

What's Changed

• Fixed an issue where subsequent switch expressions in the same file were not being properly checked for exhaustiveness by @​domn1995 in fix: properly check exhaustiveness of multiple switch expressions in same file domn1995/dunet#364

Packages

https://www.nuget.org/packages/Dunet/1.13.1

Full Changelog

domn1995/dunet@v1.13.0...v1.13.1

1.13.0

What's Changed

Switch expressions on union types are now checked for exhaustiveness. For example:

using Dunet;
using static Option<int>;

[Union]
partial record Option<T>
{
    partial record Some(T Value);
    partial record None;
}

Option<int> option = new Some(42);

// Does not emit an exhaustiveness warning since all union variants are handled.
var message = option switch
{
    Some(var value) => $"The value is {value}!",
    None => "There's no value.",
};

// Emits an exhaustiveness warning because Some variant with Value != 5 is unhandled.
var message2 = option switch
{
   Some(5) => "Value is 5!",
   None => "There's no value.",
}

This largely makes the .Match() method unnecessary and a future version of the package may mark it as obsolete.

Packages

https://www.nuget.org/packages/Dunet/1.12.0

Full Changelog

domn1995/dunet@v1.12.0...v1.13.0

1.12.0

What's Changed

• Empty variants are now ignored when generating implicit conversions @​domn1995 in improvement: ignore empty variants for implicit conversions domn1995/dunet#353

[Union]
public partial record Option<T>
{
    // An implicit conversion from `T` to `Some` is now generated.
    public partial record Some(T Value);
    public partial record None;
}

Packages

https://www.nuget.org/packages/Dunet/1.12.0

Full Changelog

domn1995/dunet@v1.11.4...v1.12.0

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)