Bugfix: PHPStan have_posts() false positive

[defunctl]

What does this do/fix?

• Properly tells PHPStan that the have_posts() function is impure

QA

The following will no longer be tagged as While loop condition is always true. or Unreachable statement - code above always terminates.:

            <?php
            if ( have_posts() ) : ?>
                <div class="archive-loop__items g-3-up">
                    <?php while ( have_posts() ) :
                        the_post();
                        get_template_part( 'components/card/card', '', $c->get_extended_card_args(
                            $c->get_meta_primary(),
                            $c->get_meta_secondary()
                        ) );
                    endwhile; ?>
                </div>
                <?php get_template_part( 'components/pagination/loop/loop' );
            else :
                get_template_part( 'components/no_results/no_results' );
            endif;
            ?>

Tests

Does this have tests?

• [ ] Yes
• [x] No, this doesn't need tests because it's a change to code analysis configuration.
• [ ] No, I need help figuring out how to write the tests.