When a shaped array member contains a nullable type, the null does not appear to be re

I found these snippets: https://psalm.dev/r/d93d5cd93f</summary

Array shapes don't recognize nullable members about psalm HOT 2 CLOSED

iamcal commented on June 16, 2024

Array shapes don't recognize nullable members

from psalm.

Comments (2)

psalm-github-bot commented on June 16, 2024

I found these snippets:

https://psalm.dev/r/d93d5cd93f

<?php

/** @param array{0:string, 1:null|int} $bar */
function foo(array $bar): void{
    if (isset($bar[1])){
	    if (is_null($bar[1])){
			# do something with $bar[1]...
        }
    }
}

Psalm output (using commit 16b24bd):

ERROR: DocblockTypeContradiction - 6:10 - Cannot resolve types for $bar[1] - docblock-defined type int does not contain null

from psalm.

iamcal commented on June 16, 2024

My mistake - the isset() returns false

from psalm.

Related Issues (20)

FalsePositive ImpureVariable in constructor HOT 1
Support declaring known type variadic named arguments HOT 1
Add error for negated file ops in loop when clearstatcache isn't called HOT 1
Enum::from and Enum::tryFrom doesn't work with templates HOT 1
psalm-if-this-is crashes with enums HOT 2
enums: can't assign a value to value-of<Enum> HOT 1
Type bounds for generic parameters HOT 1
MissingOverrideAttribute false positive with traits used by child classes HOT 3
Psalm's inference of array keys as an `int<min, max>` range clashes with invariance of templated collection types HOT 1
Regression in 5.5.0 when using more than one template parameter? HOT 3
MissingClassConstType is not documented
ensureArrayString/Int/Offset seems to be unsound for non-literal array offsets HOT 7
properties-of<Class> not compatible with array type HOT 3
psalm not understanding properties-of<Class> assignment to a ParentClass property, if properties-of<ParentClass> is used HOT 1
Unbound template type is not narrowed correctly HOT 2
The "Generator" class is reserved for internal use and cannot be manually instantiated HOT 1
Psalm adds float to inferred return type when two integer numbers are added together HOT 4
Plugin exception details HOT 1
Misplaced variable causes IncorrectDocblockException HOT 1

Array shapes don't recognize nullable members about psalm HOT 2 CLOSED

Comments (2)

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