Property type narrowing incorrectly applied inside closures

[kelunik]

In the following example, $this->closed is narrowed to false below the if, but this assumption is wrong inside the closure, because the closure might be called at a different time where this narrowing no longer applies.

https://psalm.dev/r/74b9bb8d18

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/74b9bb8d18

<?php

class Queue {
    private bool $closed = false;
    
    /** @var callable[] */
    private array $callbacks = [];
    
    public function enqueue(string $value): void {
        if ($this->closed) {
            return;
        }
        
        $this->callbacks[] = function () use ($value): void {
            if ($this->closed) {
                print 'closed';
            } else {
                print $value;
            }
        };
    }
    
    public function invoke(): void {
        foreach ($this->callbacks as $callback) {
            $callback();
        }
    }
}

Psalm output (using commit c986cdf):

ERROR: TypeDoesNotContainType - 15:17 - if (false) is can never happen