Casting int range should keep literals about psalm HOT 1 CLOSED

kkmuffme commented on September 26, 2024

Casting int range should keep literals

from psalm.

Comments (1)

psalm-github-bot commented on September 26, 2024

I found these snippets:

https://psalm.dev/r/b6f6d6b075

<?php

$int = rand(0, 2);
$string = (string) $int;
/** @psalm-trace $string */;

$int = rand(0, 1) ? 0 : 2;
$string = (string) $int;
/** @psalm-trace $string */;

Psalm output (using commit 08afc45):

INFO: Trace - 5:28 - $string: numeric-string

INFO: Trace - 9:28 - $string: '0'|'2'

INFO: UnusedVariable - 3:1 - $int is never referenced or the value is not used

INFO: UnusedVariable - 4:1 - $string is never referenced or the value is not used

INFO: UnusedVariable - 7:1 - $int is never referenced or the value is not used

INFO: UnusedVariable - 8:1 - $string is never referenced or the value is not used

from psalm.

Related Issues (20)

DocblockTypeContradiction after first value-of<Enum> @property test HOT 2
Intval doesn't show RiskyCast error HOT 1
Inferred return type not correct when using first-class callable HOT 3
Override DateTime::diff() causes unsolvable error HOT 2
False positive UnusedParam for __call and __callStatic methods HOT 1
Psalm seems to forget (nested) type information after evaluation HOT 1
Psalm not warning of possible uncaught exception HOT 1
Generics constraint check fails (InvalidArgument false positive) HOT 3
array_filter is_object HOT 1
Intersection of sealed array with a templated array triggers unexpected PossiblyUndefinedStringArrayOffset HOT 1
[New feature] Uses absolute path on checkstyle and junit report HOT 3
[Bug] Psalm doesn't understand variable cannot ever be null in the current scope HOT 1
[bug] psalm doesn't recognize @implements on concrete class HOT 1
"Cannot call method on possibly null value" inside if that confirms value is set HOT 1
Literal string considered `!string` by `is_string()` HOT 4
Psalm\Suppress annotations HOT 1
Edge case where PossiblyNullIterator is thrown on known non-null value HOT 3
Inconsistency in mixed value/undefined array key offset detection for variables and array assignments HOT 2
PSALM doesn't check if variable is used in finally block, if try block has return in it. HOT 1
Psalm treat an array as `array<array-key, mixed>` if it does not know the key type HOT 1

Casting int range should keep literals about psalm HOT 1 CLOSED

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