Search results

Type\converted() leads to insufficient type inference on shape types

Status: Open.

#35 In php-standard-library/phpstan-extension;

· Ocramius opened on Jun 11, 2026

Union of literal types is generalized

Status: Open.

#28 In php-standard-library/phpstan-extension;

· tpetry opened on Dec 15, 2025

Error when trying to infer type with Option::filter() into a function that requires (Closure(Tv): T)

Status: Open.

#27 In php-standard-library/phpstan-extension;

· devnix opened on Dec 3, 2025

make TypeInterface::assert, TypeInterface::coerce and TypeInterface::assert emit function.alreadyNarrowedType

Status: Open.

#20 In php-standard-library/phpstan-extension;

· bendavies opened on Feb 26, 2025

Invalid narrowed type after coerce/assert

Status: Open.

#19 In php-standard-library/phpstan-extension;

· p4veI opened on Sep 11, 2024

PHPStan extension unable to report optional positive-int

Status: Open.

#33 In php-standard-library/phpstan-extension;

· XbNz opened on Jun 14, 2024

Nested shapes loses non-empty-string

Status: Open.

#16 In php-standard-library/phpstan-extension;

· bendavies opened on Feb 22, 2024

allow_unknown_fields is not taken into account

Status: Open.

#12 In php-standard-library/phpstan-extension;

· JeroenBakker opened on Apr 25, 2023

vec(positive_int()) throws away positive from int

Status: Open.

#11 In php-standard-library/phpstan-extension;

· simPod opened on Jan 23, 2023

Nullable non-empty-string is coerced as nullable string

Status: Open.

#9 In php-standard-library/phpstan-extension;

· EmilMassey opened on Sep 21, 2022

Type\Intersection does not work for > 3 types

Status: Open.

#8 In php-standard-library/phpstan-extension;

· bendavies opened on Jul 21, 2022

Type Narrowing caused by Type\instance_of

Status: Open.

#7 In php-standard-library/phpstan-extension;

· bendavies opened on Jul 21, 2022