diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/array_param_truthy_check.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/array_param_truthy_check.php.inc
new file mode 100644
index 00000000000..241ff58e2d6
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/array_param_truthy_check.php.inc
@@ -0,0 +1,31 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class ArrayParamTruthyCheck
+{
+    public function buildWhereClauseFromArray($query, array $clauses, $expr = null): void
+    {
+        if ($clauses && is_array($clauses)) {
+            return;
+        }
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class ArrayParamTruthyCheck
+{
+    public function buildWhereClauseFromArray($query, array $clauses, $expr = null): void
+    {
+        if ($clauses) {
+            return;
+        }
+    }
+}
+
+?>
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_int_from_method_call.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_int_from_method_call.php.inc
new file mode 100644
index 00000000000..ebaa284cea5
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_int_from_method_call.php.inc
@@ -0,0 +1,47 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class NullableIntFromMethodCall
+{
+    public function run(): void
+    {
+        $count = $this->resolveCount();
+        if ($count === null || ! is_int($count)) {
+            return;
+        }
+
+        echo $count;
+    }
+
+    private function resolveCount(): ?int
+    {
+        return 1;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class NullableIntFromMethodCall
+{
+    public function run(): void
+    {
+        $count = $this->resolveCount();
+        if ($count === null) {
+            return;
+        }
+
+        echo $count;
+    }
+
+    private function resolveCount(): ?int
+    {
+        return 1;
+    }
+}
+
+?>
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_string.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_string.php.inc
new file mode 100644
index 00000000000..8663e36715b
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_string.php.inc
@@ -0,0 +1,35 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class NullableString
+{
+    public function run(?string $securityExpression): void
+    {
+        if (null === $securityExpression || ! is_string($securityExpression)) {
+            return;
+        }
+
+        echo $securityExpression;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class NullableString
+{
+    public function run(?string $securityExpression): void
+    {
+        if (null === $securityExpression) {
+            return;
+        }
+
+        echo $securityExpression;
+    }
+}
+
+?>
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_string_truthy_check.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_string_truthy_check.php.inc
new file mode 100644
index 00000000000..25f6d0bccb9
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/nullable_string_truthy_check.php.inc
@@ -0,0 +1,31 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class NullableStringTruthyCheck
+{
+    public function run(?string $value): void
+    {
+        if ($value && is_string($value)) {
+            echo $value;
+        }
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class NullableStringTruthyCheck
+{
+    public function run(?string $value): void
+    {
+        if ($value) {
+            echo $value;
+        }
+    }
+}
+
+?>
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_another_variable.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_another_variable.php.inc
new file mode 100644
index 00000000000..fe67608e39a
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_another_variable.php.inc
@@ -0,0 +1,15 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class SkipAnotherVariable
+{
+    public function run(?string $value, mixed $anotherValue): void
+    {
+        if (null === $value || ! is_string($anotherValue)) {
+            return;
+        }
+
+        echo $value;
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_docblock_array_param.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_docblock_array_param.php.inc
new file mode 100644
index 00000000000..809ea08b494
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_docblock_array_param.php.inc
@@ -0,0 +1,16 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class SkipDocblockArrayParam
+{
+    /**
+     * @param mixed[] $clauses
+     */
+    public function run($clauses): void
+    {
+        if ($clauses && is_array($clauses)) {
+            return;
+        }
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_docblock_nullable_param.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_docblock_nullable_param.php.inc
new file mode 100644
index 00000000000..a0f501d57e2
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_docblock_nullable_param.php.inc
@@ -0,0 +1,18 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class SkipDocblockNullableParam
+{
+    /**
+     * @param ?string $value
+     */
+    public function run($value): void
+    {
+        if (null === $value || ! is_string($value)) {
+            return;
+        }
+
+        echo $value;
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_truthy_check_on_union.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_truthy_check_on_union.php.inc
new file mode 100644
index 00000000000..3f51793bf5a
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_truthy_check_on_union.php.inc
@@ -0,0 +1,13 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class SkipTruthyCheckOnUnion
+{
+    public function run(array|string $value): void
+    {
+        if ($value && is_array($value)) {
+            return;
+        }
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_untyped_param.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_untyped_param.php.inc
new file mode 100644
index 00000000000..81a66407aa6
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_untyped_param.php.inc
@@ -0,0 +1,15 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class SkipUntypedParam
+{
+    public function run($value): void
+    {
+        if (null === $value || ! is_string($value)) {
+            return;
+        }
+
+        echo $value;
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_wider_union_type.php.inc b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_wider_union_type.php.inc
new file mode 100644
index 00000000000..465e80a3ca9
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/Fixture/skip_wider_union_type.php.inc
@@ -0,0 +1,15 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\Fixture;
+
+final class SkipWiderUnionType
+{
+    public function run(string|int|null $value): void
+    {
+        if (null === $value || ! is_string($value)) {
+            return;
+        }
+
+        echo $value;
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/RemoveRedundantTypeCheckRectorTest.php b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/RemoveRedundantTypeCheckRectorTest.php
new file mode 100644
index 00000000000..2bef5c177f9
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/RemoveRedundantTypeCheckRectorTest.php
@@ -0,0 +1,28 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector;
+
+use Iterator;
+use PHPUnit\Framework\Attributes\DataProvider;
+use Rector\Testing\PHPUnit\AbstractRectorTestCase;
+
+final class RemoveRedundantTypeCheckRectorTest extends AbstractRectorTestCase
+{
+    #[DataProvider('provideData')]
+    public function test(string $filePath): void
+    {
+        $this->doTestFile($filePath);
+    }
+
+    public static function provideData(): Iterator
+    {
+        return self::yieldFilesFromDirectory(__DIR__ . '/Fixture');
+    }
+
+    public function provideConfigFilePath(): string
+    {
+        return __DIR__ . '/config/configured_rule.php';
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/config/configured_rule.php b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/config/configured_rule.php
new file mode 100644
index 00000000000..79e6bd5ffcd
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector/config/configured_rule.php
@@ -0,0 +1,10 @@
+<?php
+
+declare(strict_types=1);
+
+use Rector\Config\RectorConfig;
+use Rector\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector;
+
+return static function (RectorConfig $rectorConfig): void {
+    $rectorConfig->rule(RemoveRedundantTypeCheckRector::class);
+};
diff --git a/rules-tests/Php83/Rector/ClassMethod/AddOverrideAttributeToOverriddenMethodsRector/FixtureAddToInterfaceMethods/interface_implement.php b/rules-tests/Php83/Rector/ClassMethod/AddOverrideAttributeToOverriddenMethodsRector/FixtureAddToInterfaceMethods/interface_implement.php
deleted file mode 100644
index 1d2157809f8..00000000000
--- a/rules-tests/Php83/Rector/ClassMethod/AddOverrideAttributeToOverriddenMethodsRector/FixtureAddToInterfaceMethods/interface_implement.php
+++ /dev/null
@@ -1,17 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Rector\Tests\Php83\Rector\ClassMethod\AddOverrideAttributeToOverriddenMethodsRector\FixtureAddToInterfaceMethods;
-
-use Rector\Tests\Php83\Rector\ClassMethod\AddOverrideAttributeToOverriddenMethodsRector\Source\ExampleFromInterface;
-
-final class InterfaceImplement implements ExampleFromInterface
-{
-    public function foo()
-    {
-        return true;
-    }
-}
-
-?>
diff --git a/rules/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector.php b/rules/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector.php
new file mode 100644
index 00000000000..f2e86be0866
--- /dev/null
+++ b/rules/DeadCode/Rector/BinaryOp/RemoveRedundantTypeCheckRector.php
@@ -0,0 +1,226 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\DeadCode\Rector\BinaryOp;
+
+use PhpParser\Node;
+use PhpParser\Node\Expr;
+use PhpParser\Node\Expr\BinaryOp\BooleanAnd;
+use PhpParser\Node\Expr\BinaryOp\BooleanOr;
+use PhpParser\Node\Expr\BinaryOp\Identical;
+use PhpParser\Node\Expr\BooleanNot;
+use PhpParser\Node\Expr\FuncCall;
+use PhpParser\Node\Expr\Variable;
+use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
+use Rector\NodeAnalyzer\ExprAnalyzer;
+use Rector\PhpParser\Node\Value\ValueResolver;
+use Rector\Rector\AbstractRector;
+use Symplify\RuleDocGenerator\ValueObject\CodeSample\CodeSample;
+use Symplify\RuleDocGenerator\ValueObject\RuleDefinition;
+
+/**
+ * @see \Rector\Tests\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector\RemoveRedundantTypeCheckRectorTest
+ */
+final class RemoveRedundantTypeCheckRector extends AbstractRector
+{
+    public function __construct(
+        private readonly ValueResolver $valueResolver,
+        private readonly ExprAnalyzer $exprAnalyzer
+    ) {
+    }
+
+    public function getRuleDefinition(): RuleDefinition
+    {
+        return new RuleDefinition('Remove is_<type>() check that can never fail on already known type', [
+            new CodeSample(
+                <<<'CODE_SAMPLE'
+class SomeClass
+{
+    public function run(?string $value, array $items)
+    {
+        if ($value === null || ! is_string($value)) {
+            return;
+        }
+
+        if ($items && is_array($items)) {
+            return;
+        }
+    }
+}
+CODE_SAMPLE
+                ,
+                <<<'CODE_SAMPLE'
+class SomeClass
+{
+    public function run(?string $value, array $items)
+    {
+        if ($value === null) {
+            return;
+        }
+
+        if ($items) {
+            return;
+        }
+    }
+}
+CODE_SAMPLE
+            ),
+        ]);
+    }
+
+    /**
+     * @return array<class-string<Node>>
+     */
+    public function getNodeTypes(): array
+    {
+        return [BooleanOr::class, BooleanAnd::class];
+    }
+
+    /**
+     * @param BooleanOr|BooleanAnd $node
+     */
+    public function refactor(Node $node): ?Expr
+    {
+        if ($node instanceof BooleanOr) {
+            return $this->refactorBooleanOr($node);
+        }
+
+        return $this->refactorBooleanAnd($node);
+    }
+
+    /**
+     * Handles "null === $value || ! is_string($value)", where is_string() can never fail once null is excluded
+     */
+    private function refactorBooleanOr(BooleanOr $booleanOr): ?Expr
+    {
+        if (! $booleanOr->left instanceof Identical) {
+            return null;
+        }
+
+        $nullComparedExpr = $this->matchNullComparedExpr($booleanOr->left);
+        if (! $nullComparedExpr instanceof Variable) {
+            return null;
+        }
+
+        // the docblock type can be wider than the real value
+        if ($this->exprAnalyzer->isNonTypedFromParam($nullComparedExpr)) {
+            return null;
+        }
+
+        if (! $booleanOr->right instanceof BooleanNot) {
+            return null;
+        }
+
+        $funcCall = $this->matchTypeCheckFuncCall($booleanOr->right->expr, $nullComparedExpr);
+        if (! $funcCall instanceof FuncCall) {
+            return null;
+        }
+
+        $funcCallName = $this->getName($funcCall);
+        if ($funcCallName === null) {
+            return null;
+        }
+
+        $comparedType = $this->getNativeType($nullComparedExpr);
+        if (! TypeCombinator::containsNull($comparedType)) {
+            return null;
+        }
+
+        if (! $this->isAlwaysMatchingType($funcCallName, TypeCombinator::removeNull($comparedType))) {
+            return null;
+        }
+
+        return $booleanOr->left;
+    }
+
+    /**
+     * Handles "$items && is_array($items)", where is_array() can never fail on an array type
+     */
+    private function refactorBooleanAnd(BooleanAnd $booleanAnd): ?Expr
+    {
+        if (! $booleanAnd->left instanceof Variable) {
+            return null;
+        }
+
+        // the docblock type can be wider than the real value
+        if ($this->exprAnalyzer->isNonTypedFromParam($booleanAnd->left)) {
+            return null;
+        }
+
+        $funcCall = $this->matchTypeCheckFuncCall($booleanAnd->right, $booleanAnd->left);
+        if (! $funcCall instanceof FuncCall) {
+            return null;
+        }
+
+        $funcCallName = $this->getName($funcCall);
+        if ($funcCallName === null) {
+            return null;
+        }
+
+        // the type is already narrowed by the truthy check on the left
+        $checkedType = $this->getNativeType($funcCall->getArgs()[0]->value);
+        if (! $this->isAlwaysMatchingType($funcCallName, $checkedType)) {
+            return null;
+        }
+
+        return $booleanAnd->left;
+    }
+
+    /**
+     * Matches "is_<type>($expectedExpr)" single arg function call
+     */
+    private function matchTypeCheckFuncCall(Expr $expr, Expr $expectedExpr): ?FuncCall
+    {
+        if (! $expr instanceof FuncCall) {
+            return null;
+        }
+
+        if ($expr->isFirstClassCallable()) {
+            return null;
+        }
+
+        if (count($expr->getArgs()) !== 1) {
+            return null;
+        }
+
+        if (! $this->nodeComparator->areNodesEqual($expr->getArgs()[0]->value, $expectedExpr)) {
+            return null;
+        }
+
+        return $expr;
+    }
+
+    private function matchNullComparedExpr(Identical $identical): ?Expr
+    {
+        if ($this->valueResolver->isNull($identical->left)) {
+            return $identical->right;
+        }
+
+        if ($this->valueResolver->isNull($identical->right)) {
+            return $identical->left;
+        }
+
+        return null;
+    }
+
+    private function isAlwaysMatchingType(string $funcCallName, Type $type): bool
+    {
+        return match ($funcCallName) {
+            'is_string' => $type->isString()
+                ->yes(),
+            'is_int', 'is_integer', 'is_long' => $type->isInteger()
+                ->yes(),
+            'is_float', 'is_double' => $type->isFloat()
+                ->yes(),
+            'is_bool' => $type->isBoolean()
+                ->yes(),
+            'is_array' => $type->isArray()
+                ->yes(),
+            'is_object' => $type->isObject()
+                ->yes(),
+            default => false,
+        };
+    }
+}
diff --git a/src/Config/Level/DeadCodeLevel.php b/src/Config/Level/DeadCodeLevel.php
index 81cded04455..6a9a706dc04 100644
--- a/src/Config/Level/DeadCodeLevel.php
+++ b/src/Config/Level/DeadCodeLevel.php
@@ -14,6 +14,7 @@
 use Rector\DeadCode\Rector\Assign\RemoveDoubleAssignRector;
 use Rector\DeadCode\Rector\Assign\RemoveDoubleSelfAssignRector;
 use Rector\DeadCode\Rector\Assign\RemoveUnusedVariableAssignRector;
+use Rector\DeadCode\Rector\BinaryOp\RemoveRedundantTypeCheckRector;
 use Rector\DeadCode\Rector\Block\ReplaceBlockToItsStmtsRector;
 use Rector\DeadCode\Rector\BooleanAnd\RemoveAndTrueRector;
 use Rector\DeadCode\Rector\Cast\RecastingRemovalRector;
@@ -148,6 +149,7 @@ final class DeadCodeLevel
 
         RemoveAlwaysTrueIfConditionRector::class,
         ReduceAlwaysFalseIfOrRector::class,
+        RemoveRedundantTypeCheckRector::class,
         RemoveUnusedPrivateClassConstantRector::class,
         RemoveUnusedPrivatePropertyRector::class,
         RemoveUnusedClosureVariableUseRector::class,