chore: bump carthage-software/mago from 1.43.0 to 1.44.0

[dependabot]

Bumps carthage-software/mago from 1.43.0 to 1.44.0.

Release notes

Sourced from carthage-software/mago's releases.

Mago 1.44.0

A faster release with stronger dependent-type analysis, richer guard and linter configuration, and fixes across the CLI, formatter, analyzer, and semantics.

✨ Features

Analyzer

• Override return types: reports overriding methods that omit a declared return type. (#2100, 90c04c0)

Linter

• no-missing-format-argument: detects missing format arguments. (#2062, 38857dd)
• missing-docs exclusions: supports configurable exclusions. (#2102, 4488055)
• Disallowed symbol levels: configures levels for functions and type instantiations. (#2101, 34ed400)

Guard

• @final validation: supports the annotation during structure validation. (#2065, 78cbbf0)
• Restrictions: supports dependency restrictions and public-method allowlists. (#2074, 8d6d359)

CLI

• -y self-update: adds a shorthand for --no-confirm. (#2011, d231964)

🐛 Bug Fixes

Analyzer

• Dependent types: resolve them across calls, partials, unpacks, and intersections. (a629700, a231709, 81be763)
• Integer conditions: preserve ranges for correct impossible and redundant-condition reports. (#2085, #2087, 2037b9a, 6d71045)
• Loop conditions: stabilize types and avoid false diagnostics in do-while iterations. (#2078, 0205e49, 7afc4eb)
• isset flow: retains unsafe access and try/catch uncertainty after failed checks. (#2076, #2096, b70350c, 23203e5)
• Readonly initialization: accepts deferred initialization of readonly properties. (#2095, ad495bd)
• Magic methods: resolves @method calls backed by inherited methods. (#2089, fda90f8)
• Mixin receiver types: binds $this and static to mixin receivers. (#2086, 07086c5)
• Property overrides: reports incomparable override types. (#2103, 80dbbfe)
• Dynamic property names: reports $property, not $$property. (#2066, 5d2116d)
• PHPDoc returns: permits void in nullable docblock return types. (#2081, #2082, cdfd166)
• Optional shapes: recognises optional string-keyed shapes as lists. (#2073, b15f9e1)

Codex

• Enum case identity: distinguishes cases during type identity checks. (#2071, 683220c, 2637cf8)
• Backed enum values: preserves literal values from known ->value access. (#2064, 45ad41b)
• Trait bounds: accepts exact @require-extends classes when validating traits. (#2069, 84c0766)

Semantics

• Enum magic methods: permits __call, __callStatic, and __invoke. (#2075, d0487f2)

... (truncated)

Commits

• f303d49 release: 1.44.0
• 9e504a6 fix(cli): restore default SIGPIPE handling so piped output does not panic (#2...
• 34ed400 feat(linter): fine-grained level config for disallowed functions/types rules ...
• 4488055 feat(linter): missing-docs exclusions (#2102)
• 80dbbfe fix(analyzer): report incomparable property override types (#2103)
• 81be763 fix(analyzer): preserve dependent types across advanced call flows
• a231709 fix(analyzer): resolve parameter-dependent types across invocation forms
• a629700 fix(analyzer): resolve parameter-dependent indexed access types
• d231964 Add -y shorthand for --no-confirm flag in self-update command (#2011)
• 90c04c0 feat(analyzer): report overriding methods missing a return type declaration (...
• 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 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)