thunderer / Platenum

tests/Psalm/SeasonsTrait.php

<?php
declare(strict_types=1);
namespace Thunder\Platenum\Tests\Psalm;

use Thunder\Platenum\Enum\ConstantsEnumTrait;

/**
 * @method static static SPRING()
 * @method static static SUMMER()
 * @method static static AUTUMN()
 * @method static static WINTER()
 */
final class SeasonsTrait
{
    private const SPRING = 1;
    private const SUMMER = 2;
    private const AUTUMN = 3;
    private const WINTER = 4;

    /** @use ConstantsEnumTrait<'SPRING'|'SUMMER'|'AUTUMN'|'WINTER',SeasonsTrait::*> */
    use ConstantsEnumTrait;
}

$spring = SeasonsTrait::SPRING();
/** @psalm-suppress InvalidArgument */
$spring->hasMember('INVALID');
/** @psalm-suppress InvalidArgument */
$spring->hasValue(9);

9 of type integer is incompatible with the type Thunder\Platenum\Enum\TValue expected by parameter $value of Thunder\Platenum\Tests\Psalm\SeasonsTrait::hasValue().