fix: PHPStan detecting type correctly after usage of Assert::assertContainsOnly*

Author: mitelg

src/Framework/Assert.php

@@ -294,6 +294,8 @@ final public static function assertContainsOnly(string $type, iterable $haystack
     /**
      * Asserts that a haystack contains only values of type array.
      *
+     * @phpstan-assert iterable<array<mixed>> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -312,6 +314,8 @@ final public static function assertContainsOnlyArray(iterable $haystack, string
     /**
      * Asserts that a haystack contains only values of type bool.
      *
+     * @phpstan-assert iterable<bool> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -330,6 +334,8 @@ final public static function assertContainsOnlyBool(iterable $haystack, string $
     /**
      * Asserts that a haystack contains only values of type callable.
      *
+     * @phpstan-assert iterable<callable> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -348,6 +354,8 @@ final public static function assertContainsOnlyCallable(iterable $haystack, stri
     /**
      * Asserts that a haystack contains only values of type float.
      *
+     * @phpstan-assert iterable<float> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -366,6 +374,8 @@ final public static function assertContainsOnlyFloat(iterable $haystack, string
     /**
      * Asserts that a haystack contains only values of type int.
      *
+     * @phpstan-assert iterable<int> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -384,6 +394,8 @@ final public static function assertContainsOnlyInt(iterable $haystack, string $m
     /**
      * Asserts that a haystack contains only values of type iterable.
      *
+     * @phpstan-assert iterable<iterable<mixed>> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -402,6 +414,8 @@ final public static function assertContainsOnlyIterable(iterable $haystack, stri
     /**
      * Asserts that a haystack contains only values of type null.
      *
+     * @phpstan-assert iterable<null> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -420,6 +434,8 @@ final public static function assertContainsOnlyNull(iterable $haystack, string $
     /**
      * Asserts that a haystack contains only values of type numeric.
      *
+     * @phpstan-assert iterable<numeric> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -438,6 +454,8 @@ final public static function assertContainsOnlyNumeric(iterable $haystack, strin
     /**
      * Asserts that a haystack contains only values of type object.
      *
+     * @phpstan-assert iterable<object> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -456,6 +474,8 @@ final public static function assertContainsOnlyObject(iterable $haystack, string
     /**
      * Asserts that a haystack contains only values of type resource.
      *
+     * @phpstan-assert iterable<resource> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -474,6 +494,8 @@ final public static function assertContainsOnlyResource(iterable $haystack, stri
     /**
      * Asserts that a haystack contains only values of type closed resource.
      *
+     * @phpstan-assert iterable<resource> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -492,6 +514,8 @@ final public static function assertContainsOnlyClosedResource(iterable $haystack
     /**
      * Asserts that a haystack contains only values of type scalar.
      *
+     * @phpstan-assert iterable<scalar> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -510,6 +534,8 @@ final public static function assertContainsOnlyScalar(iterable $haystack, string
     /**
      * Asserts that a haystack contains only values of type string.
      *
+     * @phpstan-assert iterable<string> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException

src/Framework/Assert/Functions.php

@@ -303,6 +303,8 @@ function assertContainsOnly(string $type, iterable $haystack, ?bool $isNativeTyp
     /**
      * Asserts that a haystack contains only values of type array.
      *
+     * @phpstan-assert iterable<array<mixed>> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -321,6 +323,8 @@ function assertContainsOnlyArray(iterable $haystack, string $message = ''): void
     /**
      * Asserts that a haystack contains only values of type bool.
      *
+     * @phpstan-assert iterable<bool> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -339,6 +343,8 @@ function assertContainsOnlyBool(iterable $haystack, string $message = ''): void
     /**
      * Asserts that a haystack contains only values of type callable.
      *
+     * @phpstan-assert iterable<callable> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -357,6 +363,8 @@ function assertContainsOnlyCallable(iterable $haystack, string $message = ''): v
     /**
      * Asserts that a haystack contains only values of type float.
      *
+     * @phpstan-assert iterable<float> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -375,6 +383,8 @@ function assertContainsOnlyFloat(iterable $haystack, string $message = ''): void
     /**
      * Asserts that a haystack contains only values of type int.
      *
+     * @phpstan-assert iterable<int> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -393,6 +403,8 @@ function assertContainsOnlyInt(iterable $haystack, string $message = ''): void
     /**
      * Asserts that a haystack contains only values of type iterable.
      *
+     * @phpstan-assert iterable<iterable<mixed>> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -411,6 +423,8 @@ function assertContainsOnlyIterable(iterable $haystack, string $message = ''): v
     /**
      * Asserts that a haystack contains only values of type null.
      *
+     * @phpstan-assert iterable<null> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -429,6 +443,8 @@ function assertContainsOnlyNull(iterable $haystack, string $message = ''): void
     /**
      * Asserts that a haystack contains only values of type numeric.
      *
+     * @phpstan-assert iterable<numeric> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -447,6 +463,8 @@ function assertContainsOnlyNumeric(iterable $haystack, string $message = ''): vo
     /**
      * Asserts that a haystack contains only values of type object.
      *
+     * @phpstan-assert iterable<object> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -465,6 +483,8 @@ function assertContainsOnlyObject(iterable $haystack, string $message = ''): voi
     /**
      * Asserts that a haystack contains only values of type resource.
      *
+     * @phpstan-assert iterable<resource> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -483,6 +503,8 @@ function assertContainsOnlyResource(iterable $haystack, string $message = ''): v
     /**
      * Asserts that a haystack contains only values of type closed resource.
      *
+     * @phpstan-assert iterable<resource> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -501,6 +523,8 @@ function assertContainsOnlyClosedResource(iterable $haystack, string $message =
     /**
      * Asserts that a haystack contains only values of type scalar.
      *
+     * @phpstan-assert iterable<scalar> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException
@@ -519,6 +543,8 @@ function assertContainsOnlyScalar(iterable $haystack, string $message = ''): voi
     /**
      * Asserts that a haystack contains only values of type string.
      *
+     * @phpstan-assert iterable<string> $haystack
+     *
      * @param iterable<mixed> $haystack
      *
      * @throws ExpectationFailedException