By definition, PHP 8 promoted properties are declared in the constructor. Therefore, a new particular case raises when trying to extract (using PhpDocExtractor) a promoted property that is mutated via @param in the constructor.

class Php80Dummy {
    /**
     * @param string $promotedAndMutatedProperty
     */
    public function __construct(private mixed $promotedAndMutatedProperty)
    {
    }
}

$promotedAndMutatedProperty extracted types is currently [null] (because of "mixed"), but IMO should be [string].

However, I'm not sure if this is the intended behaviour for everyone (opinions welcomed). If it is, I guess I should update PhpDocExtractorTest as well to reflect the new priorities ?