Skip to content

Commit

Permalink
Revert "Regression test"
Browse files Browse the repository at this point in the history
This reverts commit b5bbf1a.
  • Loading branch information
ondrejmirtes committed Nov 5, 2023
1 parent 632582d commit c6b09fb
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 56 deletions.
15 changes: 0 additions & 15 deletions tests/PHPStan/Rules/Classes/ImpossibleInstanceOfRuleTest.php
Original file line number Diff line number Diff line change
Expand Up @@ -589,19 +589,4 @@ public function testReportAlwaysTrueInLastCondition(bool $reportAlwaysTrueInLast
$this->analyse([__DIR__ . '/data/impossible-instanceof-report-always-true-last-condition.php'], $expectedErrors);
}

public function testBug3632(): void
{
$this->checkAlwaysTrueInstanceOf = true;
$this->treatPhpDocTypesAsCertain = true;

$tipText = 'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.';
$this->analyse([__DIR__ . '/data/bug-3632.php'], [
[
'Instanceof between Bug3632\NiceClass and Bug3632\NiceClass will always evaluate to true.',
36,
$tipText,
],
]);
}

}
41 changes: 0 additions & 41 deletions tests/PHPStan/Rules/Classes/data/bug-3632.php

This file was deleted.

0 comments on commit c6b09fb

Please sign in to comment.