You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Type narrowing for get_class($obj) === 'ClassName' comparisons, enabling precise type refinement when class identity is verified.
is_resource() type guard for completeness in the type narrowing system.
Parallel Salsa pre-sweep inference pass in batch path, replacing sequential Pass 2 driver with direct rayon-based inference for improved throughput.
Type narrowing for $var === SomeClass::class comparisons, refining object types when matched against class constants.
Fixed
Bare-FQN references (e.g., new \Service(), \Helper::go()) now correctly wired into the incremental dependency graph so analyze_dependents_of() returns files referencing classes via unqualified absolute paths.
Changed
Refactored database module structure: source_files map moved from SharedDb tuple into MirDb for clearer ownership.
Lazy-load optimization: avoid redundant full scans of class inheritance chains when loading missing classes.