Any way to condition the return type of a method, based on the return value of another method?

[rzvc]

Consider the following example:

class ItemContainer
{
	public function hasNew() : bool
	{
		/* ... */
	}

	public function getNew() : ?SomeItemType
	{
		/* ... */
	}
}

What I would like to be able to do, is to tell Psalm that in the following code, getNew(), can only return SomeItemType (not nullable):

if ($container->hasNew())
	$container->getNew()->useTheItem();	// Would like no error here, related to the nullable type.

Is this possible?

[AndrolGenhald]

Method calls can be asserted when memoizeMethodCallResults is true or when the methods are @psalm-mutation-free, but you can't call any possibly mutating methods between the has() call and the get() call: https://psalm.dev/r/e33bfb35a9

[rzvc]

Thanks, this is great.

[rzvc]

Looks like it doesn't work with aliases of imported types:

https://psalm.dev/r/410c4e737a