@psalm-suppress NonInvariantDocblockPropertyType is reported as unused

[VincentLanglet]

When running this https://psalm.dev/r/7b36c93015
with --find-unused-psalm-suppress

I get

UnusedPsalmSuppress - This suppression is never used (see https://psalm.dev/207)
     * @psalm-suppress NonInvariantDocblockPropertyType

Seems like psalm.dev is not running with find-unused-psalm-suppress so I cannot fully reproduce the bug.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/7b36c93015

<?php

class Vendor
{
    public $config = [];
}

class A extends Vendor
{
    /**
     * @var mixed[]
     * @psalm-suppress NonInvariantDocblockPropertyType
     */
    public $config = [];
}

Psalm output (using commit d57dde0):

INFO: MissingPropertyType - 5:12 - Property Vendor::$config does not have a declared type - consider array