Sema: fix `@min`/`@max` type resolution with all runtime args

Closes #16229

1 files changed, 14 insertions, 0 deletions

diff --git a/test/behavior/maximum_minimum.zig b/test/behavior/maximum_minimum.zig
index 8d1153638d..0844cdd282 100644
--- a/test/behavior/maximum_minimum.zig
+++ b/test/behavior/maximum_minimum.zig
@@ -295,3 +295,17 @@ test "@min/@max notices bounds from vector types when element of comptime-known
     try expectEqual(@as(u32, 1_000_000), max[0]);
     // Cannot assert values at index 1 as one was undefined
 }
+
+test "@min/@max of signed and unsigned runtime integers" {
+    var x: i32 = -1;
+    var y: u31 = 1;
+
+    const min = @min(x, y);
+    const max = @max(x, y);
+
+    comptime assert(@TypeOf(min) == i32);
+    comptime assert(@TypeOf(max) == u31);
+
+    try expectEqual(x, @min(x, y));
+    try expectEqual(y, @max(x, y));
+}