Invalid read from CallMap when methods are in inheritance

[simPod]

<?php

use RdKafka\Producer;
use const RD_KAFKA_PARTITION_UA;

final class A
{
    public function fcn() : void
    {
        $producer = new Producer();
        $topic = $producer->newTopic('topic');
        $topic->produce(RD_KAFKA_PARTITION_UA, 0, 'payload', 'key');
    }
}

Psalm reports

UndefinedMethod - Method RdKafka\Topic::produce does not exist (see https://psalm.dev/022)
$topic->produce(RD_KAFKA_PARTITION_UA, 0, 'payload', 'key');

RdKafka\Producer extends RdKafka.

<?php

class Producer extends \RdKafka
{
    /**
     * @param string    $topic_name
     * @param TopicConf $topic_conf
     *
     * @return ProducerTopic
     */
    public function newTopic($topic_name, TopicConf $topic_conf = null)
    {
    }

<?php

abstract class RdKafka
{
    /**
     * @param string    $topic_name
     * @param TopicConf $topic_conf
     *
     * @return Topic
     */
    public function newTopic($topic_name, TopicConf $topic_conf = null)
    {
    }

This is correctly defined in CallMap:

'RdKafka::newTopic' => ['RdKafka\Topic', 'topic_name'=>'string', 'topic_conf='=>'?RdKafka\TopicConf'],
'RdKafka\Producer::newTopic' => ['RdKafka\ProducerTopic', 'topic_name'=>'string', 'topic_conf='=>'?RdKafka\TopicConf'],

However, psalm assigns RdKafka::newTopic definition to RdKafka\Producer::newTopic and thinks it returns RdKafka\Topic while it returns RdKafka\ProducerTopic.

https://github.com/simPod/psalm-kafka-broken/commit/58962588fc16d046cdc69ddbd16e77b9d34f4914#diff-3e3f7392d7da765a65d0ece9729444aaR14

[psalm-github-bot]

Hey @simPod, can you reproduce the issue on https://psalm.dev ?

[weirdan]

I don't think Psalm is mistaken here. Both documentation and extension source code says there's no method newTopic on RdKafka\Producer class. Psalm sees that (via reflection) and uses correct callmap entry.

Basically RdKafka::newTopic has a conditional return type based on LSB, but I'm not sure if it's possible to express that condition given the features we have right now. @muglug, can you advise if it's possible to use type of $this/static as a condition in a conditional return type (I tried static is Type and $this is Type but none of that worked for me)?