chore(deps): update mago dependencies to v1.47.6

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
mago-allocator (source)	dependencies	patch	1.47.2 → 1.47.6
mago-formatter (source)	dependencies	patch	1.47.2 → 1.47.6
mago-php-version (source)	dependencies	patch	1.47.2 → 1.47.6

---

Release Notes

carthage-software/mago (mago-allocator)

v1.47.6: Mago 1.47.6

Compare Source

Mago 1.47.6

Mago 1.47.6 strengthens property and control-flow narrowing, preserves collection precision, and fixes formatter comment and string handling.

🐛 Bug Fixes

Analyzer

• Nested isset: marks roots defined after guarded nested offset checks. (#​2303, 1da40ab)
• Nullsafe booleans: narrows nullable receivers after boolean property comparisons. (#​2315, e3aefe1)
• Nullsafe instanceof: narrows receivers and properties after nullsafe type checks. (#​2308, ea927d0)
• String-length guards: narrows strings from strlen() comparisons. (#​2307, fff0817)
• Integer reconciliation: preserves literal unions through bitwise guards. (#​2309, 801fc7f)
• Keyed writes: retains non-empty arrays after writes from non-empty loops. (#​2305, ed44977)
• Boolean aliases: preserves guard narrowing across elseif and match. (#​2312, 2a248f1)
• Compound assignments: retains right-operand types in the expression index. (#​2311, ce98d0d)
• Immutable chains: keeps deep property narrowing across unrelated calls. (#​2304, 414c4e0)
• Trait requirements: excludes requirement-only generics from inheritance paths. (#​2317, 007de69)
• Property assertions: maps parameter-property assertions onto call arguments. (#​2318, 696def4)

Prelude

• Reflection names: types ReflectionClass<T>::getName() as class-string<T>. (#​2314, f38df5b)

Formatter

• Parenthesized comments: keeps comments attached inside grouping parentheses. (#​2300, 88d062f)
• Dollar strings: preserves single quotes around strings containing dollar signs. (#​2316, 6aa441c)

🏗️ Internal

Performance

• Analyzer allocations: removes redundant clones from hot analysis paths. (16335f4)

Maintenance

• Version updater: reduces release versioning complexity. (5113670)
• Nightly Clippy: removes a redundant watcher path clone. (64f3e9f)

🙏 Thank You

Contributors

A huge thank you to everyone who contributed code to this release:

• @​adamaveray: #​2300

Issue Reporters

Thank you to everyone who reported issues that shaped this release:

• @​MichaelOwenDyer: #​2304, #​2305, #​2307, #​2308, #​2312, #​2315, #​2318
• @​kamil-tekiela: #​2303
• @​shadowhand: #​2314
• @​gsteel: #​2309
• @​SanderMuller: #​2311
• @​Vyygir: #​2316
• @​bendavies: #​2317

Full Changelog: carthage-software/mago@1.47.5...1.47.6

v1.47.5: Mago 1.47.5

Compare Source

Mago 1.47.5

Mago 1.47.5 improves conditional and nullsafe narrowing, class-string handling, constructor analysis, and wide-shape performance.

🐛 Bug Fixes

Analyzer

• Suppressed guards: narrows types through error-suppressed conditions. (#​2268, f13467c)
• Root callable strings: resolves callables with a leading namespace separator. (#​2274, #​2283, da58581)
• Closure array checks: preserves closure types through negated array checks. (#​2282, 2d316d5)
• Elseif reassignment: discards stale clauses after assignments in conditions. (#​2277, aefba3d)
• Nullsafe receivers: preserves receiver narrowing through nullsafe property access. (#​2261, edb7082)
• Parent constructors: resolves inherited declarations and cross-file initialization. (#​2271, #​2273, 95d6cd6, 62a418d)
• Exact assertions: preserves true and false one-way narrowing. (#​2263, #​2278, 1b7741e)
• Nullsafe assertions: applies multi-target assertions to nullsafe arguments. (#​2287, 4bf8961)
• Union properties: reconciles union roots before nested property assertions. (#​2295, 637b850)
• Foreach arrays: preserves sanitized array types through loops. (#​2294, 8d063e9)
• Static properties: preserves declared types across logical AND. (#​2293, de61ef7)
• Match assertions: applies conditional assertions in boolean match arms. (#​2262, 63b663f)
• Negated unions: applies union assertions conjunctively. (#​2251, c9fd26e)
• Null coalescing: continues analysis after an unreachable terminating RHS. (#​2270, 850ad19)

Codex

• Class-string validation: rejects non-class scalars where class-string is required. (#​2285, ad348fc)
• List inference: combines empty arrays with lists without losing list shape. (#​2281, 7568d72)

Prelude

• Class probes: accepts strings, models $allow_string, and tests dynamic classes. (#​2284, #​2286, 6b73f42, a7a055c)

Formatter

• Unary comments: preserves spacing between unary-prefixed comments and operands. (#​2301, 25140c4)

🏗️ Internal

Performance

• Wide array shapes: avoids rebuilding key unions for literal access. (#​2289, f112ef2, 1c5e349)

Maintenance

• Nightly Clippy: simplifies guard clauses for current linting. (#​2269, 7ba104a)
• Pull request template: adds affected-area guidance. (#​2272, 5ead238)
• Release versioning: automates patch and minor version bumps. (3ac6783)
• Rust dependencies: refreshes workspace dependencies. (d961fb7)
• Sponsors: refreshes the sponsor list. (cca4229)

🙏 Thank You

Contributors

A huge thank you to everyone who contributed code to this release:

• @​dotdash: #​2268, #​2269, #​2283, #​2284, #​2285, #​2286
• @​adamaveray: #​2270, #​2271, #​2272, #​2273, #​2301

Issue Reporters

Thank you to everyone who reported issues that shaped this release:

• @​MichaelOwenDyer: #​2251, #​2261, #​2262, #​2263
• @​bendavies: #​2274, #​2277, #​2281, #​2282, #​2289
• @​mathroc: #​2278, #​2287
• @​kamil-tekiela: #​2293, #​2294, #​2295

Full Changelog: carthage-software/mago@1.47.4...1.47.5

v1.47.4: Mago 1.47.4

Compare Source

Mago 1.47.4

Mago 1.47.4 improves numeric-string analysis, instanceof narrowing, formatter stability, and array-inference performance.

🐛 Bug Fixes

Analyzer

• Instanceof with coalesce: narrows values guarded by ($value ?? null) instanceof T. (#​2249, 889e259)
• Nullsafe instanceof: narrows nullable receivers after nullsafe property checks. (#​2250, b17a46f)
• Loose numeric comparisons: models PHP integer-string coercion. (#​2254, 0b424e8)
• Readonly diagnostics: names readonly violations instead of visibility errors. (#​2241, 7b103aa)
• Integer-string keys: normalizes canonical strings to integer array keys. (#​2259, 39b9577)

Codex

• Array inference: prevents inferred array types from exploding in size. (#​2256, 89a45de)

Linter

• Subtraction from zero: suggests negating the right operand. (#​2240, b302702)
• Anonymous constructors: records variables passed to anonymous class constructors as used. (#​2239, 8ff624e)

Formatter

• Preserved conditions: keeps binary-condition indentation idempotent. (#​2255, 3435bf3)
• Method-chain semicolons: preserves spacing before else and elseif. (#​2150, #​2237, 03d9726)
• Tiny print widths: prevents table-style layout underflow. (#​2242, 098540e)
• Numeric concatenation: avoids redundant operand parentheses. (#​2246, c581aa7)

Prelude

• array_sum: returns int|float for numeric-string arrays. (#​2258, 4000b2f)

🏗️ Internal

Analyzer

• Write visibility: centralizes effective write-visibility resolution. (#​2238, e67a00e)

🙏 Thank You

Contributors

A huge thank you to everyone who contributed code to this release:

• @​bastnic: #​2237, #​2242, #​2246
• @​dotdash: #​2238, #​2241

Issue Reporters

Thank you to everyone who reported issues that shaped this release:

• @​diegobanos: #​2150
• @​vkunz: #​2239, #​2240
• @​MichaelOwenDyer: #​2249, #​2250
• @​devin-ai-integration[bot]: #​2255
• @​kamil-tekiela: #​2254, #​2256, #​2258, #​2259

Full Changelog: carthage-software/mago@1.47.3...1.47.4

v1.47.3: Mago 1.47.3

Compare Source

Mago 1.47.3

Mago 1.47.3 improves pipe expressions, numeric inference, match narrowing, readonly offsets, nullsafe chains, and loop control.

✨ Features

Analyzer

• Integer ranges: infers ranges when bounded float arithmetic is cast to int. (#​2232, 506066a)

Formatter

• Pipe formatting: adds preserve-breaking-pipe-expression to retain existing line breaks. (#​2141, 0cfc8ec)

🐛 Bug Fixes

Analyzer

• Nullsafe chains: narrows receivers after a nullsafe chain is proven non-null. (#​2226, 4e678b8)
• Readonly offsets: allows offset writes through readonly properties holding ArrayAccess objects. (#​2227, af3c576)
• Pipe expressions: preserves generic return types through pipe partial applications. (#​2141, 0cfc8ec)
• Numeric-string unary ops: models signs, increments, and decrements as PHP does. (#​2229, 9316487)
• Boolean match arms: narrows the original subject for instanceof conditions. (#​2231, d6cdf19)
• Switch loop levels: resolves numeric break and continue levels across switch. (#​2233, c5eff01)

🏗️ Internal

Performance

• Match allocations: avoids allocating synthetic variable names during match analysis. (4c2581f)

🙏 Thank You

Contributors

No external pull requests were merged for this release.

Issue Reporters

Thank you to everyone who reported issues that shaped this release:

• @​giorgiopogliani: #​2141
• @​MichaelOwenDyer: #​2226, #​2231
• @​Elhebert: #​2227
• @​BafS: #​2229
• @​ddanielou: #​2232
• @​kamil-tekiela: #​2233

Full Changelog: carthage-software/mago@1.47.2...1.47.3

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.