build(deps-dev): bump carthage-software/mago from 1.29.0 to 1.30.0

[dependabot]

Bumps carthage-software/mago from 1.29.0 to 1.30.0.

Release notes

Sourced from carthage-software/mago's releases.

Mago 1.30.0

A release focused on generics and robustness: intersection types of generic parameters are now computed, generic reflection (ReflectionClass<T>) threads T into method-return inference, and a new fuzzing + Miri CI hardened the lexer and parsers against crashes, leaks, and quadratic blowups on malformed input. Also: vendor type patches, an object&callable type, and the usual analyzer, codex, formatter, linter, and CLI fixes.

✨ Features

Analyzer

• Generic reflection: ReflectionClass<T>/ReflectionMethod<T> thread T into getName()/invoke() return types. (c44dc8f8)
• object&callable type: invokable classes are accepted via has-method<__invoke>. (#1902, 7efac3ce)

Codex

• Vendor type patches: a patches source overrides third-party types without editing vendor code. (#1873, dcfd38bd)

Database

• Explicit extensionless files: files named without an extension are loaded when listed explicitly. (#1916, 639f4818)

🐛 Bug Fixes

Analyzer

• Generic intersections: A&B of unions/iterables computed, e.g. (int|bool)&(int|float) → int. (#1945, 353ed772, 7dd3d615)
• do/while null-narrowing: the loop condition now narrows the body on re-entry. (#1947, db102379)
• Undocumented __call return: inferred from __call's declared return instead of mixed. (131537a7)

Codex

• public-properties-of: resolves inherited props, @type aliases, and generic-parameter selectors. (#1928, #1929, ce5eea6f)
• Transitive @mixin: methods resolve across mixin chains. (#1915, e6d9304a)
• Nested templates: params inside class-string and $this in @extends/@implements now resolve. (#1924, f2fff717, 5eda2e01)
• Patched method signatures: abstract/concrete mismatches in method patches no longer flagged. (#1940, c370be3a)

Formatter

• null last in unions: ordered last by default per PER CS 3. (#1835, 3e5d38c9)
• Comment before method chain: kept on its own line. (#1854, 1db1fa58)
• Property-receiver chains: first method stays on the same line under same-line chain style. (#1193, 5ff2133c)

Linter

• FQ refs in namespace-less files: fully-qualified global class/function/constant references are flagged. (#1846, 53626d07)
• global/static rebinds: no false no-parameter-shadowing/no-dead-store. (#1910, #1911, 4ccc4f5c)

Syntax

• Class-name keyword casing: resource/integer no longer collide with type keywords. (#1898, 899cbf3f)
• Identifier::last_segment: returns the last segment, not the first. (#1919, cadea52d)
• Interpolation perf & leaks: brace-interpolation scan is linear and string-aware; token-kind leak fixed. (#1914, 478aa814, a80e5573)

... (truncated)

Commits

• 0e8a364 release: 1.30.0
• 131537a fix(analyzer): infer return type of undocumented __call methods
• db10237 fix(analyzer): narrow do-while loop-back state from the condition
• b120e6b fix(cli): use a versioned docs URL in the generated mago.toml
• 7dd3d61 fix(codex): compute structural intersection of array and list types
• c44dc8f feat(analyzer, prelude): infer precise types through generic reflection
• 353ed77 fix(codex): compute intersections of generic type parameters
• 706f23e chore: update pinned nightly toolchain to nightly-2026-06-04 (#1925)
• 32771b7 chore(sponsors): update sponsors list
• c370be3 fix(codex): stop flagging abstract mismatches in method patches (#1940)
• Additional commits viewable in compare view