Literal Strings else/elseif incorrect type about psalm HOT 1 OPEN

kkmuffme commented on September 26, 2024 1

Literal Strings else/elseif incorrect type

from psalm.

Comments (1)

psalm-github-bot commented on September 26, 2024

I found these snippets:

https://psalm.dev/r/9ac5444f9d

<?php

$a = rand(0, 1) ? "a" : "b";
$b = rand(0, 1) ? "a" : "b";

$s = rand(0, 1) ? $a : $b;
if (rand(0, 1)) $s = "c";

if ($s === $a) {
    /** @psalm-trace $s */;
    /** @psalm-trace $a */;
} elseif ($s === $b) {
    /** @psalm-trace $s */;
    /** @psalm-trace $b */;
}

Psalm output (using commit a75d26a):

INFO: Trace - 10:27 - $s: 'a'

INFO: Trace - 11:27 - $a: 'a'|'b'

INFO: Trace - 13:27 - $s: 'b'

INFO: Trace - 14:27 - $b: 'b'

from psalm.

Related Issues (20)

Malformed JSON output due to erroneous UTF-8 character splitting HOT 1
`MixedArgumentTypeCoercion` when try to use defined array type with ... HOT 1
Psalm assumes `callable-string` is always lowercase HOT 1
Incorrect RedundantCondition with `class-string<Foo>` and instanceof HOT 1
InvalidArgument: 'expects a public static callable, but a non-static callable provided' HOT 1
`Dom\XMLDocument` is unimplemented HOT 2
"false cannot be cast to int" with truthy-string (Can't repro in sandbox) HOT 1
Invalid type detect after AND condition HOT 1
clearstatcache 2nd argument is unused if 1st arg is not true should report error HOT 1
Incorrect type detection when null-safe operator usage HOT 1
Possible to improve/preserve `non-empty-string` type when `\substr(T, 0, positive-int)` is used? HOT 1
Memory issue running Psalm Github Action HOT 5
Invalid namespace for a declared nested type in an array type HOT 2
Missing TaintedCallable for 4 core generic functions HOT 1
Cache issue when checking modified files HOT 4
psalm-assert-if-false annotation does not work as expected HOT 1
Psalm crashes after start on PhpParser\Lexer\Emulative::__construct() :( HOT 1
Covariance of class strings for templates HOT 1
Narrowing down of an instance class in `else` branch doesn't work HOT 5
Magic instance property is not defined HOT 1

Literal Strings else/elseif incorrect type about psalm HOT 1 OPEN

Comments (1)

Related Issues (20)

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent