Chore(deps): Bump Dunet from 1.13.1 to 1.15.0

[dependabot]

Updated Dunet from 1.13.1 to 1.15.0.

Release notes

Sourced from Dunet's releases.

1.15.0

What's Changed

• Binary or patterns are now also checked for exhaustiveness. For example:

[Union]
partial record Shape
{
    partial record Circle(double Radius);
    partial record Rectangle(double Length, double Width);
    partial record Square(double Length);
    partial record Triangle(double Base, double Height);
}

Shape? shape = null;

var sides = shape switch
{
    // This is now considered as handling both the `Circle` and `null` cases.
    Circle or null => 0,
    // This is now considered as handling both the `Rectangle` and `Square` cases.
    Rectangle or Square => 4,
    Triangle t => 3,
};

Package

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

Full Changelog

domn1995/dunet@v1.14.0...v1.15.0

1.14.0

What's Changed

• Some property patterns are now also checked for exhaustiveness. For example:

[Union]
partial record Shape
{
    partial record Circle(double Radius);
    partial record Rectangle(double Length, double Width);
    partial record Triangle(double Base, double Height);
}

Shape shape = new Circle(3.14);

var area = shape switch
{
    // This is now considered as handling the `Rectangle` case.
    Rectangle { Length: var length, Width: var width } => length * width,
    Circle(var radius) => 3.14 * radius * radius,
    Triangle t => t.Base * t.Height / 2,
};

var area2 = shape switch
{
    // This is now considered as handling the `Rectangle` case.
    Rectangle { Length: _, Width: _ } => 0,
    Circle(var radius) => 3.14 * radius * radius,
    Triangle t => t.Base * t.Height / 2,
};

Packages

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

Full Changelog

domn1995/dunet@v1.13.1...v1.14.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)