mago

Mago 1.58.2 fixes parser recovery for unfinished static accesses, keeping class names and call arguments in the syntax tree while you type.

[!NOTE]

Support Mago

Does your company use Mago? Please consider sponsoring its development so we can keep fixing bugs and shipping releases.

Sponsor Mago ❤️

🐛 Bug Fixes

Parser

• Incomplete static access: keeps Foo:: and Foo::$ in the syntax tree during editor recovery. (#2589, 431e823)

🙏 Thank You

Contributors

• @azjezz for the parser fix. (431e823)

Issue Reporters

• @AJenbo for reporting #2589.

Full Changelog: 1.58.1...1.58.2

Mago 1.58.1 fixes the PGO build failure affecting macOS and Linux x86_64 musl in 1.58.0 and adds CI checks for the full PGO build cycle.

[!NOTE]

Support Mago

Does your company use Mago? Please consider sponsoring its development so we can keep fixing bugs and shipping releases.

Sponsor Mago ❤️

🐛 Bug Fixes

CLI

• Profiling output: preserves PGO and coverage profiles at shutdown, fixing affected release builds. (c8ad3d0)

🏗️ Internal

CI

• PGO builds: checks profile output and optimized binaries on Linux musl and both macOS targets. (c8ad3d0)

🙏 Thank You

Contributors

• @azjezz for the build fix and PGO checks. (c8ad3d0)

Issue Reporters

Thanks for your patience while we fixed the release builds.

Full Changelog: https://github.com/carthage-software/mago/compare/1.58.0...1.58.1

Mago 1.58.0 adds opt-in dead-catch checks, a prefer-self rule, and extension throw-type providers, cuts analysis overhead, and fixes type narrowing and PHP formatting.

[!NOTE]

Support Mago

Does your company use Mago? Please consider sponsoring its development so we can keep fixing bugs and shipping releases.

Sponsor Mago ❤️

✨ Features

Analyzer

• Dead catches: adds opt-in checks for catches with no known matching throws. (#2503, #2525, 18315f6)
• Enum throws: avoids ValueError for known-valid BackedEnum::from() arguments. (#2544, #2565, 5bcf444)

Linter

• Prefer self: adds an opt-in rule to replace references to the enclosing class with self. (#2528, aba4df1)
• Extension rules: accepts enabled, level, and exclude settings under [linter.rules]. (#2530, f2b479c)

🐛 Bug Fixes

Analyzer

• Named arguments: honors class-level @no-named-arguments tags. (#2514, a33b014)
• Mixed array keys: reports mixed-array-index for keys whose type is mixed. (#2522, 4b19550)
• Nullsafe guards: narrows receivers through guards and falsy ?? fallbacks. (#2515, #2563, 83a0bfd, 891c463)
• Do-while loops: preserves initial types when by-reference calls update loop variables. (#2523, b6a24d9)
• Diagnostics: clarifies class resolution, member access, and type-check messages. (#2541, 43f0a1a)
• Redundant nullsafe calls: reports unnecessary ?-> on method calls. (#2547, ba38156)
• Iterable guards: narrows iterable values to Traversable after type checks. (#2550, dd17cfb)
• Match assignments: preserves subject types and evaluates assignment subjects once. (8a19e98)
• Shape unions: removes shapes with required keys after a failed key-existence check. (#2557, 5ffc5d2)
• Nested array guards: keeps required keys when narrowing nested shapes. (#2577, 221fd63)
• Type switches: narrows variables in get_class() and gettype() switch cases. (#2558, eba91e1)
• Callable guards: fixes narrowing of callable objects and strings in type checks. (#2552, #2560, 0e1d212, abea0ad)
• Conditional assignments: keeps assignments scoped to each analysis pass. (#2561, 64a2323)
• Short-circuit assignments: tracks reassignment and narrowing across logical chains. (#2571, #2562, c8358f1, 001666b)
• Array membership: fixes strict checks and unsafe narrowing after negated in_array(). (#2573, #2574, d5ca2a6, c16337a)
• Known array keys: resolves literal keys in isset() and empty() guards. (#2575, #2585, 9671d89, f8f46a6)
• Numeric-string keys: normalizes integer-like string keys in array guards. (#2578, d7dae70)
• Loose null checks: preserves falsy strings when comparing nullable strings with null. (#2579, ff5df16)
• Negated isset: does not treat nullable keys as missing after a failed check. (#2554, #2576, fb8de05)
• Switch transfers: preserves nested breaks, continues, and finally control flow. (#2569, #2570, b6e8259)
• Empty foreach loops: skips unreachable loop bodies for known empty arrays. (#2572, 6bdf6c6)
• Switch coverage: detects impossible cases and unreachable defaults. (#2553, 204f678)

Codex

• Large unions: expands types beyond 64 members without leaving unresolved references. (#2518, 51f2762)
• Traversable templates: keeps caller templates instead of widening them to their bounds. (#2520, 735d59d)
• Class strings: handles leading backslashes when comparing literal class names. (#2533, 1a28236)
• Iterable arguments: rejects excess generic arguments on iterable types. (#2543, 1c3eba0)
• Mixed array keys: treats explicit mixed key types as array-key. (#2545, c4d7f9a)

PHPDoc

• Array shorthand: accepts spaces between a type and its [] suffix. (#2546, 00c150d)

Formatter

• Preserved breaks: keeps argument-list and binary-expression layouts stable across passes. (#2524, e665c18)
• Instanceof calls: preserves required parent

Mago 1.57.0 adds opt-in BcMath/GMP arithmetic, applies PHPDoc flags from type patches, fixes analyzer and formatter bugs, and speeds up work across the toolchain.

[!NOTE]

Support Mago

Does your company use Mago? Please consider sponsoring its development so we can keep fixing bugs and shipping releases.

Sponsor Mago ❤️

✨ Features

Analyzer

• Number operators: adds opt-in arithmetic for BcMath\Number and GMP via allow-operator-overloading. (#2486, #2487, 0fff359)

🐛 Bug Fixes

Analyzer

• Native type contracts: keeps native types and nullability when PHPDoc conflicts. (#2494, 2dc705f)
• Inline @var tags: no longer treats unassigned local variables as defined. (#2496, 56f2ad9)
• Malformed PHPDoc: reports malformed types and unresolved variable links. (#2493, c1cdff1)
• Conditional variables: reports possibly undefined variables after switch and in finally. (#2497, e378e5d)
• Iterator types: keeps current() and key() types without explicit generics. (#2476, 467b29d)
• Array unions: preserves left-hand values and optional keys with array-key key types. (#2485, #2488, 782b0b5)
• Empty checks: handles unset variables and falsy values correctly. (#2484, 8dc47c5)
• Dynamic properties: honors AllowDynamicProperties on classes and their ancestors. (#2483, 6bccb58)
• Deprecated members: reports access to deprecated properties and class constants. (#2478, 90fa5e5)
• Deprecated scopes: skips deprecation warnings inside already deprecated code. (#2492, d412c32)
• Boolean assignments: avoids false narrowing when loops update boolean flags. (#2499, 64ad7d6)
• Iterable assertions: narrows traversables without false impossible-condition reports. (#2508, ac54e6c)

Codex

• Patch flags: applies supported PHPDoc flags and their negations from type patches. (#2477, #2495, 29f3416)

Formatter

• Stable layouts: keeps concatenations, arrow functions, and assignments stable across passes. (#2491, 9f4804d)
• Parenthesized comparisons: keeps comparison layouts stable when operands use parentheses. (#2480, f2fdf5f)

Prelude

• Base64 decoding: returns string for non-strict decoding. (#2511, 4918783)

📖 Documentation

Configuration

• Operator settings: documents opt-in number operators in English, French, and Chinese. (#2487, 0fff359)
• Patch flags: documents supported PHPDoc patch flags in English, French, and Chinese. (#2495, 29f3416)

🏗️ Internal

Analyzer

• Named arguments: speeds up argument matching and default type inference. (#2498, 2f7475f)
• Member checks: cuts reference scans and allocations when checking unused members. (cc19617)
• Default arguments: skips needless type expansion for omitted non-generic defaults. (#2506, #2507, 6590a7b)

Codex

• Reference lookups: speeds up reference queries and merges. (23ebbf2)

Formatter

• Formatting work: cuts allocations and layout work. (a2e8ae5)

Guard

• Dependency scans: skips unused dependency files and cuts allocations. (dae8785)

🧩 Extension Protocol

No protocol changes in this release.

🙏 Thank You

Contributors

Thank you to everyone who contributed to this release:

• @alfredbez: #2476, #2492, #2493, #2494, #2496, #2497, #2511
• @AnnaDamm: #2495, #2507
• @matthewnessworthy: #2480
• @Mir-Zairan: #2487
• @ynaamane: #2488

Issue Reporters

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

• @amateescu: #2478, #2508
• @AnnaDamm: #2477, #2498, #2506
• @atournayre: #2491
• @jfilter: #2483, #2484, #2485
• @MichaelOwenDyer: #2499
• @Mir-Zairan: #2486

Full Changelog: https://github.com/carthage-software/mago/compare/1.56.3...1.57.0