AssertionReconciliation: non-empty-list results in list

[boesing]

When I pass an iterable to an assertion which verifies that I do have a non-empty-list, psalm does not adapt non-empty-list and instead reconciles to list.

https://psalm.dev/r/0441efb80e

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0441efb80e

<?php

final class WhateverAssert
{
    /** 
     * @psalm-assert non-empty-list $value
     */
	public static function doAssert(mixed $value): void
    {}
}


/** @var iterable<mixed,string> $iterable */
$iterable = [];

WhateverAssert::doAssert($iterable);

/** @psalm-trace $iterable */

Psalm output (using commit 49c6f31):

INFO: Trace - 18:30 - $iterable: list<string>

[boesing]

Stopped working with 5.9.0