Mago 1.0.0-rc.10

This release focuses on reducing false positives across multiple analysis scenarios, improving type system accuracy, and enhancing PHP compatibility.

Bug Fixes

Analyzer

• Fixed impossible type assertion false positive when comparing interfaces - a class can implement multiple interfaces, so Foo can be Bar at runtime (#707)
• Corrected template resolution regression affecting PSL and other libraries using generic parameters from class-strings
• Fixed false positive when checking $value === [] on non-null or mixed types (#701)
• Resolved false positive unimplemented-abstract-property-hook incorrectly reported on interfaces
• Infer Iterator key/value types from key() and current() method return types
• Support float and array-key in string concatenation with improved __toString trait detection
• Fixed callable-to-array reconciliation and interface throwable checks in catch blocks
• Added missing $_COOKIE superglobal

Codex

• Resolved false positive redundant condition for integer range identity comparisons (#706)
• Fixed trait self type resolution to use intersection with @require-implements/@require-extends constraints

Prelude

• Fixed call_user_func and sprintf stubs with Stringable support

Improvements

Composer

• Added PHP 8.5 and 8.6 as compatible versions (#699)

Full Changelog: 1.0.0-rc.9...1.0.0-rc.10