From 773147f8bb851d5f78e61bae12ca4d43505322e7 Mon Sep 17 00:00:00 2001
From: James Buncle <jbuncle@hotmail.com>
Date: Thu, 2 Apr 2026 00:34:31 +0100
Subject: [PATCH] Add alias false-positive regressions

---
 tests/run.php | 93 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 93 insertions(+)

diff --git a/tests/run.php b/tests/run.php
index b84d699..8c19cf7 100644
--- a/tests/run.php
+++ b/tests/run.php
@@ -870,6 +870,95 @@ class Worker {
     assertSameValue('Reordering insteadof fallback traits without changing the set should remain PATCH.', 'PATCH', $diff->diff('HEAD', 'WC')->getIncrement());
 }
 
+
+function testTypeAliasRenamingDoesNotBumpVersion(): void {
+    $root = createRepository('type-alias-rename-equivalence', [
+        'src/Types.php' => <<<'PHP'
+<?php
+namespace Demo;
+use Vendor\Package\Thing as Alias;
+function build(Alias $item): Alias {}
+PHP,
+    ]);
+
+    writeFile($root . '/src/Types.php', <<<'PHP'
+<?php
+namespace Demo;
+use Vendor\Package\Thing as RenamedAlias;
+function build(RenamedAlias $item): RenamedAlias {}
+PHP
+    );
+
+    $diff = new SemVerDiff($root, [], []);
+    assertSameValue('Renaming a type alias without changing its resolved target should remain PATCH.', 'PATCH', $diff->diff('HEAD', 'WC')->getIncrement());
+}
+
+function testConstantAliasRenamingDoesNotBumpVersion(): void {
+    $root = createRepository('constant-alias-rename-equivalence', [
+        'src/Config.php' => <<<'PHP'
+<?php
+namespace Demo;
+use const Vendor\Config\DEFAULT_MODE as MODE;
+function build($mode = MODE): void {}
+PHP,
+    ]);
+
+    writeFile($root . '/src/Config.php', <<<'PHP'
+<?php
+namespace Demo;
+use const Vendor\Config\DEFAULT_MODE as DEFAULT_SETTING;
+function build($mode = DEFAULT_SETTING): void {}
+PHP
+    );
+
+    $diff = new SemVerDiff($root, [], []);
+    assertSameValue('Renaming a constant alias without changing its resolved target should remain PATCH.', 'PATCH', $diff->diff('HEAD', 'WC')->getIncrement());
+}
+
+function testNamespaceConstantAliasRenamingDoesNotBumpVersion(): void {
+    $root = createRepository('namespace-constant-alias-rename-equivalence', [
+        'src/Constants.php' => <<<'PHP'
+<?php
+namespace Demo;
+use Vendor\Config as Alias;
+const STATUS = Alias::DEFAULT_MODE;
+PHP,
+    ]);
+
+    writeFile($root . '/src/Constants.php', <<<'PHP'
+<?php
+namespace Demo;
+use Vendor\Config as ConfigAlias;
+const STATUS = ConfigAlias::DEFAULT_MODE;
+PHP
+    );
+
+    $diff = new SemVerDiff($root, [], []);
+    assertSameValue('Renaming a class alias used in a namespace constant without changing its target should remain PATCH.', 'PATCH', $diff->diff('HEAD', 'WC')->getIncrement());
+}
+
+function testImplementedContractAliasRenamingDoesNotBumpVersion(): void {
+    $root = createRepository('implements-alias-rename-equivalence', [
+        'src/Worker.php' => <<<'PHP'
+<?php
+namespace Demo;
+use Vendor\Contract\PrimaryContract as ContractAlias;
+class Worker implements ContractAlias {}
+PHP,
+    ]);
+
+    writeFile($root . '/src/Worker.php', <<<'PHP'
+<?php
+namespace Demo;
+use Vendor\Contract\PrimaryContract as RenamedContract;
+class Worker implements RenamedContract {}
+PHP
+    );
+
+    $diff = new SemVerDiff($root, [], []);
+    assertSameValue('Renaming an implemented contract alias without changing its target should remain PATCH.', 'PATCH', $diff->diff('HEAD', 'WC')->getIncrement());
+}
+
 function testIncludePathsRestrictTheSurface(): void {
     $root = createRepository('include-paths', [
         'src/Foo.php' => "<?php\nnamespace Demo;\nclass Foo { public function stableMethod() {} }\n",
@@ -2295,6 +2384,10 @@ function testCliParsingAndDefaults(): void {
 testImplementedContractOrderingDoesNotBumpVersion();
 testExtendedInterfaceOrderingDoesNotBumpVersion();
 testTraitPrecedenceOrderingDoesNotBumpVersion();
+testTypeAliasRenamingDoesNotBumpVersion();
+testConstantAliasRenamingDoesNotBumpVersion();
+testNamespaceConstantAliasRenamingDoesNotBumpVersion();
+testImplementedContractAliasRenamingDoesNotBumpVersion();
 testGitIgnoreInlineCommentsAreIgnored();
 testRootAnchoredGitIgnorePatternsAreHonoured();
 testIncludePathsRestrictTheSurface();