formatting

Author: MrPunyapal

tests/Analysis/ExpectationChainStateResolverTest.php

@@ -16,7 +16,7 @@
 use PHPStan\Type\VerbosityLevel;
 
 /**
- * Regression coverage for the resolver's per-node memoisation.
+ * Per-node WeakMap memoisation for the resolver's chain-state cache.
  *
  * The resolver is instantiated once by PHPStan's container and shared across
  * every analysed file. Its cache must therefore key on the node identity, not

tests/Rules/ImpossibleExpectationRuleTest.php

@@ -152,9 +152,9 @@
     ]);
 });
 
-test('regression #32: valid expectations from bool methods, casts, and nullable properties are not falsely flagged', function (): void {
+test('valid expectations from bool methods, casts, and nullable properties are not falsely flagged', function (): void {
     $this->analyse([
-        __DIR__ . '/data/impossible-expectation-regression-32-a.php',
-        __DIR__ . '/data/impossible-expectation-regression-32-b.php',
+        __DIR__ . '/data/impossible-expectation-bool-cast-nullable.php',
+        __DIR__ . '/data/impossible-expectation-primitive-types.php',
     ], []);
 });

…possible-expectation-regression-32-a.php …sible-expectation-bool-cast-nullable.phptests/Rules/data/impossible-expectation-regression-32-a.php renamed to tests/Rules/data/impossible-expectation-bool-cast-nullable.php tests/Rules/data/impossible-expectation-regression-32-a.php renamed to tests/Rules/data/impossible-expectation-bool-cast-nullable.php

@@ -2,7 +2,6 @@
 
 declare(strict_types=1);
 
-// Regression tests for issue #32:
 // These are ALL valid expectation chains. None should be flagged as impossible.
 
 interface BoolPolicy

…possible-expectation-regression-32-b.php …possible-expectation-primitive-types.phptests/Rules/data/impossible-expectation-regression-32-b.php renamed to tests/Rules/data/impossible-expectation-primitive-types.php tests/Rules/data/impossible-expectation-regression-32-b.php renamed to tests/Rules/data/impossible-expectation-primitive-types.php

@@ -2,8 +2,7 @@
 
 declare(strict_types=1);
 
-// Companion fixture for regression test issue #32.
-// Contains different type patterns to exercise cross-file cache interactions.
+// Cross-file cache interaction: basic type expectations that should never be flagged as impossible.
 
 it('string should not be impossible for toBeString', function (): void {
     expect('hello')->toBeString();