Skip to content

Widen never generic type arguments to their template bounds after an object might have been mutated #6326

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
phpstan-bot wants to merge 3 commits into from
Closed

Widen never generic type arguments to their template bounds after an object might have been mutated #6326

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
085abe3
Widen `never` generic type arguments to their template bounds after a…
phpstan-bot Sep 1, 2026
7c56e06
Add regression test for ArrayObject generics after an offset write
phpstan-bot Sep 2, 2026
7da24f3
Ask accepts() instead of isSuperTypeOf() when writing an offset on an…
phpstan-bot Sep 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add regression test for ArrayObject generics after an offset write 
Closes phpstan/phpstan#10783

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
  • Loading branch information
@phpstan-bot @claude
phpstan-bot and claude committed Sep 2, 2026
commit 7c56e06b5a601a29722f748c6c8ac064873d50bb
20 changes: 20 additions & 0 deletions tests/PHPStan/Analyser/nsrt/bug-10783.php
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
<?php declare(strict_types = 1);

namespace Bug10783;

use ArrayObject;
use function PHPStan\Testing\assertType;

class HelloWorld
{
public function sayHello(): bool
{
$a = new ArrayObject([]);
assertType('ArrayObject<*NEVER*, *NEVER*>', $a);
$a[] = 'test';
assertType('ArrayObject<(int|string), mixed>', $a);
assertType('array<mixed>', $a->getArrayCopy());

return empty($a->getArrayCopy());
}
}