PossiblyNullReference not detected using callable classes

[bendavies]

See the last line here, which should warn PossiblyNullReference:

https://psalm.dev/r/165262da3d

changing the method call to __invoke correctly surfaces the error:

https://psalm.dev/r/9a3e913407

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/165262da3d

<?php

declare(strict_types=1);

class Location {
    private int $id;

    public function __construct(int $id) {
        $this->id = $id;
    }

    public function getId(): int
    {
        return $this->id;
    }
}

/**
 * @psalm-immutable
 */
class Application
{
    private ?Location $location;

    public function __construct(?Location $location = null ) {
        $this->location = $location;
    }
  
    public function getLocation(): ?Location
    {
        return $this->location;
    }
}

class TakesId
{
    public function __invoke(
        int $location
    ): int {
        return $location;
    }
}

$takesId = new TakesId();

$application = new Application();

($takesId)($application->getLocation()->getId());

Psalm output (using commit 110c9ef):

No issues!

https://psalm.dev/r/9a3e913407

<?php

declare(strict_types=1);

class Location {
    private int $id;

    public function __construct(int $id) {
        $this->id = $id;
    }

    public function getId(): int
    {
        return $this->id;
    }
}

/**
 * @psalm-immutable
 */
class Application
{
    private ?Location $location;

    public function __construct(?Location $location = null ) {
        $this->location = $location;
    }
  
    public function getLocation(): ?Location
    {
        return $this->location;
    }
}

class TakesId
{
    public function __invoke(
        int $location
    ): int {
        return $location;
    }
}

$takesId = new TakesId();

$application = new Application();

$takesId->__invoke($application->getLocation()->getId());

Psalm output (using commit 110c9ef):

ERROR: PossiblyNullReference - 48:49 - Cannot call method getId on possibly null value

[weirdan]

Simplified: https://psalm.dev/r/024ec41453

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/024ec41453

<?php

interface Location {
    public function getId(): int;
}

/** @psalm-immutable */
interface Application {
    public function getLocation(): ?Location;
}

interface TakesId {
    public function __invoke(int $location): int;
}

function f(TakesId $takesId, Application $application): void {
   ($takesId)($application->getLocation()->getId());
}

Psalm output (using commit 110c9ef):

No issues!