InvalidPropertyAssignmentValue for enum class properties

[Patrick-Remy]

It seems that enum types for magic-properties are not supported, and only for params and var declarations.

/**
 * @property self::TYPE_* $magicPropType
 */
class Foo {
  const TYPE_FOO = 'foo';

  
  // Required parse magic properties
  public function __set() {}
}


$foo = new Foo();
$foo->magicPropType = Foo::TYPE_FOO;

ERROR: InvalidPropertyAssignmentValue - 20:23 - $foo->magicPropType with declared type 'self::TYPE_*' cannot be assigned type '"foo"'

https://psalm.dev/r/873cbfdc08

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/873cbfdc08

<?php

/**
 * @property self::TYPE_* $magicPropType
 */
class Foo {
  const TYPE_FOO = 'foo';
  
  /** @var self::TYPE_* */
  public $varPropType = self::TYPE_FOO;
    
  /** @param self::TYPE_* $type */
  public function foo($type): void {}

  // Required parse magic properties
  public function __set() {}
}

$foo = new Foo();
$foo->magicPropType = Foo::TYPE_FOO;
$foo->varPropType = Foo::TYPE_FOO;
$foo->foo(Foo::TYPE_FOO);

Psalm output (using commit 594ef4f):

ERROR: InvalidPropertyAssignmentValue - 20:23 - $foo->magicPropType with declared type 'self::TYPE_*' cannot be assigned type '"foo"'

[flaviovs]

This looks like a dup of #4344

[orklah]

Indeed