Infer non-empty-ness after count($a) == count($b) #23332

Infer non-empty-ness after count($a) == count($b)

There was an error while loading. Please reload this page.

Usage Workflow file

10 errors

Test: plugins/oepnvMobilePlugin/lib/mobileService/2017.10/MobileServiceApi201710.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2017.09/MobileServiceApi201709.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2017.07/MobileServiceApi201707.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2017.06/MobileServiceApi201706.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2017.04/MobileServiceApi201704.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2017.03/MobileServiceApi201703.php#L7

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2016.12/MobileServiceApi201612.php#L8

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2016.10/MobileServiceApi201610.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2016.09/MobileServiceApi201609.php#L7

Class constants with native types are supported only on PHP 8.3 and later.

Test: plugins/oepnvMobilePlugin/lib/mobileService/2016.07/MobileServiceApi201607.php#L5

Class constants with native types are supported only on PHP 8.3 and later.

succeeded Oct 23, 2025 in 18s