diff --git a/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessReturnTagRector/Fixture/skip_positive_int_or_zero.php.inc b/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessReturnTagRector/Fixture/skip_positive_int_or_zero.php.inc
new file mode 100644
index 0000000000..1c4fb41b0e
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessReturnTagRector/Fixture/skip_positive_int_or_zero.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\ClassMethod\RemoveUselessReturnTagRector\Fixture;
+
+class SkipPositiveIntOrZero
+{
+    /**
+     * @return positive-int|0
+     */
+    function foo(): int
+    {
+        return rand(0, 1) ? 10 : 0;
+    }
+}
diff --git a/src/NodeTypeResolver/PHPStan/Type/TypeFactory.php b/src/NodeTypeResolver/PHPStan/Type/TypeFactory.php
index 48c90beb6a..5889ff4253 100644
--- a/src/NodeTypeResolver/PHPStan/Type/TypeFactory.php
+++ b/src/NodeTypeResolver/PHPStan/Type/TypeFactory.php
@@ -164,21 +164,7 @@ private function createUnionOrSingleType(array $types): Type
             return $types[0];
         }
 
-        $unionType = new UnionType($types);
-
-        if ($unionType->isFloat()->yes()) {
-            return new IntegerType();
-        }
-
-        if ($unionType->isString()->yes()) {
-            return new StringType();
-        }
-
-        if ($unionType->isInteger()->yes()) {
-            return new IntegerType();
-        }
-
-        return $unionType;
+        return new UnionType($types);
     }
 
     private function removeValueFromConstantType(Type $type): Type