DocblockTypeContradiction when comparing @property, using prefix type, through magic getter with actual class constant

[joakimfors]

https://psalm.dev/r/86b57553b8

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/86b57553b8

<?php

/**
 * @property FooBar::TYPE_* $type
 */
class FooBar {
	public const TYPE_FOO = 'foo';
	public const TYPE_BAR = 'bar';

	/** @var FooBar::TYPE_* */
	private $_type;

	public function __construct()
	{
		$this->_type = FooBar::TYPE_FOO;
	}

	/**
	 * @param string $name
	 * @return mixed
	 */
	public function __get(string $name)
	{
		$getter = 'get' . $name;
		return $this->$getter();
	}

	/**
	 * @return FooBar::TYPE_*
	 */
	public function getType()
	{
		return $this->_type;
	}
}

$foobar = new FooBar();
$test = $foobar->type === FooBar::TYPE_BAR;
print($test);
$test = $foobar->getType() === FooBar::TYPE_BAR;
print($test);

Psalm output (using commit 21f4dee):

ERROR: DocblockTypeContradiction - 38:9 - string(bar) does not contain scalar-class-constant(FooBar::TYPE_*)

[joakimfors]

Same thing with assignment through magic setter, only InvalidPropertyAssignmentValue instead:

https://psalm.dev/r/b7f029181f

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/b7f029181f

<?php

/**
 * @property FooBar::TYPE_* $type
 */
class FooBar {
	public const TYPE_FOO = 'foo';
	public const TYPE_BAR = 'bar';

	/** @var FooBar::TYPE_* */
	private $_type;

	public function __construct()
	{
		$this->_type = FooBar::TYPE_FOO;
	}

	/**
	 * @param string $name
	 * @return mixed
	 */
	public function __get(string $name)
	{
		$getter = 'get' . $name;
		return $this->$getter();
	}

	/**
	 * @param string $name
	 * @param mixed $value
	 * @return void
	 */
	public function __set(string $name, mixed $value)
	{
		$setter = 'set' . $name;
		$this->$setter($value);
	}

	/**
	 * @return FooBar::TYPE_*
	 */
	public function getType()
	{
		return $this->_type;
	}

	/**
	 * @param FooBar::TYPE_* $value
	 * @return void
	 */
	public function setType(string $value)
	{
		$this->_type = $value;
	}
}

$foobar = new FooBar();

$test = $foobar->type === FooBar::TYPE_BAR;
print($test);
$test = $foobar->getType() === FooBar::TYPE_BAR; // OK
print($test);

$foobar->type = FooBar::TYPE_BAR;
$foobar->setType(FooBar::TYPE_BAR); // OK

Psalm output (using commit 21f4dee):

ERROR: DocblockTypeContradiction - 59:9 - string(bar) does not contain scalar-class-constant(FooBar::TYPE_*)

ERROR: InvalidPropertyAssignmentValue - 64:17 - $foobar->type with declared type 'scalar-class-constant(FooBar::TYPE_*)' cannot be assigned type 'string(bar)'