Hello I'm trying to use Assert::upper() method, but psalm assert <code class="notr

how the string can be upper if we assert it is lowercase? </blockquot

It is not typed, it's $data is a dynamic array <d

I'm able to reproduce it this way: <div class="snippet-clipboard-content notransla

Indeed, I could reproduce it on the psalm.dev: <a href="https://psal

Assert::upper() correct usage about assert HOT 4 OPEN

bpastukh commented on August 31, 2024

Assert::upper() correct usage

from assert.

Comments (4)

zerkms commented on August 31, 2024

how the string can be upper if we assert it is lowercase?

Assertion is for !lowercase-string, exclamation mark ! means negation.

The error is:

How exactly is typed $string? Show /** @psalm-trace $string */;

from assert.

bpastukh commented on August 31, 2024

It is not typed, it's $data is a dynamic array

        #[OA\Property(property: 'data', description: 'An array of data dependent on event type', type: 'object')]
        #[Assert\NotBlank]
        #[Assert\Type('array')]
        public array $data = [],

from assert.

bpastukh commented on August 31, 2024

I'm able to reproduce it this way:

        $array = ['someKey' => random_bytes(10)];
        $string = $array['someKey'];
        Assert::upper($string);

So $array is not typed (it is defined on the first line of the example) and i'm still getting

ERROR: TypeDoesNotContainType - src/Event/AbstractEvent.php:25:17 - Type non-empty-string for $string is always !lowercase-string (see https://psalm.dev/056)
        Assert::upper($string);

As a workaround for now i've used Assert::true

        Assert::true(
            ctype_upper($string),
            sprintf('Expected a value to contain uppercase characters only. Got: "%s"', $string),
        );

from assert.

zerkms commented on August 31, 2024

Indeed, I could reproduce it on the psalm.dev:

https://psalm.dev/r/7f0799fc21

from assert.

Recommend Projects