PHP 8 ::class | Round #2

[simPod]

When using $object::class in switch statement, narrowing the type using case $child::class does not narrow it for psalm

get_class() still works fine.

https://psalm.dev/r/c8c3fadc13

crosslink for previous issue #5479

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/c8c3fadc13

<?php

abstract class A {}
class B extends A {}

function a(A $a): void {
    switch ($a::class) {
        case B::class:
            b($a);
    }
    
    switch (get_class($a)) {
        case B::class:
            b($a);
    }
}

function b(B $b): void {
}

Psalm output (using commit 698adef):

ERROR: ArgumentTypeCoercion - 9:15 - Argument 1 of b expects B, parent type A provided

INFO: UnusedParam - 18:14 - Param $b is never referenced in this method

[orklah]

simplified: https://psalm.dev/r/03a8ed173c

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/03a8ed173c

<?php

abstract class A {}
class B extends A {}

function a(A $a): void {
    if($a::class == B::class) {
        b($a);
    }
}

function b(B $b): void {
}

Psalm output (using commit cd74f66):

ERROR: ArgumentTypeCoercion - 8:11 - Argument 1 of b expects B, parent type A provided

INFO: UnusedParam - 12:14 - Param $b is never referenced in this method