diff --git a/src/Type/UnionTypeHelper.php b/src/Type/UnionTypeHelper.php
index 7f82682dc5..485c482644 100644
--- a/src/Type/UnionTypeHelper.php
+++ b/src/Type/UnionTypeHelper.php
@@ -116,6 +116,10 @@ public static function sortTypes(array $types): array
 				return self::compareStrings($a->describe(VerbosityLevel::value()), $b->describe(VerbosityLevel::value()));
 			}
 
+			if ($a->isString()->yes() && $b->isString()->yes()) {
+				return self::compareStrings($a->describe(VerbosityLevel::value()), $b->describe(VerbosityLevel::value()));
+			}
+
 			return self::compareStrings($a->describe(VerbosityLevel::typeOnly()), $b->describe(VerbosityLevel::typeOnly()));
 		});
 		return $types;
diff --git a/tests/PHPStan/Analyser/nsrt/string-union.php b/tests/PHPStan/Analyser/nsrt/string-union.php
new file mode 100644
index 0000000000..5308521baf
--- /dev/null
+++ b/tests/PHPStan/Analyser/nsrt/string-union.php
@@ -0,0 +1,20 @@
+<?php declare(strict_types = 1);
+
+namespace StringUnion;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	/**
+	 * @param literal-string $s1
+	 * @param numeric-string $s2
+	 */
+	public function sayHello(string $s1, string $s2): void
+	{
+		$a = random_int(0, 1) ? $s1 : $s2;
+		assertType('literal-string|numeric-string', $a);
+		$b = random_int(0, 1) ? $s2 : $s1;
+		assertType('literal-string|numeric-string', $b);
+	}
+}
diff --git a/tests/PHPStan/Type/TypeCombinatorTest.php b/tests/PHPStan/Type/TypeCombinatorTest.php
index e521c3edba..5a64d20967 100644
--- a/tests/PHPStan/Type/TypeCombinatorTest.php
+++ b/tests/PHPStan/Type/TypeCombinatorTest.php
@@ -1960,6 +1960,14 @@ public function dataUnion(): iterable
 				UnionType::class,
 				'string|false',
 			],
+			[
+				[
+					new IntersectionType([new StringType(), new AccessoryNumericStringType()]),
+					new IntersectionType([new StringType(), new AccessoryLiteralStringType()]),
+				],
+				UnionType::class,
+				'literal-string|numeric-string',
+			],
 			[
 				[
 					TemplateTypeFactory::create(