Ignore cast.useless error

This commit is contained in:
Sebastian Bergmann 2025-03-17 17:14:26 +01:00
parent a3bb1f01c1
commit cb499f5074
No known key found for this signature in database
GPG Key ID: 4AA394086372C20A
1 changed files with 1 additions and 0 deletions

View File

@ -302,6 +302,7 @@ final readonly class Exporter
if (is_resource($value)) {
return sprintf(
'resource(%d) of type (%s)',
/** @phpstan-ignore cast.useless */
(int) $value,
get_resource_type($value),
);