Skip to content

Commit

Permalink
Fix build after merge
Browse files Browse the repository at this point in the history
  • Loading branch information
ondrejmirtes committed Jan 15, 2025
1 parent fd645ff commit 4811a1a
Showing 1 changed file with 0 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -963,14 +963,12 @@ public function testBug3979(): void

public function testBug8464(): void
{
$this->checkAlwaysTrueCheckTypeFunctionCall = true;
$this->treatPhpDocTypesAsCertain = true;
$this->analyse([__DIR__ . '/data/bug-8464.php'], []);
}

public function testBug8954(): void
{
$this->checkAlwaysTrueCheckTypeFunctionCall = true;
$this->treatPhpDocTypesAsCertain = true;
$this->analyse([__DIR__ . '/data/bug-8954.php'], []);
}
Expand Down

0 comments on commit 4811a1a

Please sign in to comment.