Cannot override variable type with phpdoc

[andrew-demb]

https://psalm.dev/r/0f31b34d81

Expected: no issues
Actual: UndefinedInterfaceMethod - 16:23 - Method BaseInterface::getsome does not exist

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0f31b34d81

<?php

interface BaseInterface
{
    public function getBase(): string;
}

interface SomeInterface extends BaseInterface
{
    public function getSome(): ?string;
}

function send(BaseInterface $notification): bool
{
  /** @var SomeInterface $notification */
  echo $notification->getSome();
  
  return true;
}

Psalm output (using commit ae0b1a6):

ERROR: UndefinedInterfaceMethod - 16:23 - Method BaseInterface::getsome does not exist

[muglug]

Sort-of dupe of #1916

[andrew-demb]

I don't think it's related.
echo added only for example.

https://psalm.dev/r/6d0482f6c1 with if, same problem

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/6d0482f6c1

<?php

interface BaseInterface
{
    public function getBase(): string;
}

interface SomeInterface extends BaseInterface
{
    public function getSome(): ?string;
}

function send(BaseInterface $notification): bool
{
  /** @var SomeInterface $notification */
  if (null !== $notification->getSome()) {
  	return false;
  }
  
  return true;
}

Psalm output (using commit 395cf58):

ERROR: UndefinedInterfaceMethod - 16:31 - Method BaseInterface::getsome does not exist

[muglug]

Yes, more statements where @var docblocks currently have no effect

[andrew-demb]

Now I get it. Thank you.