fix codegen for @intCast to u0

2 files changed, 20 insertions, 0 deletions

diff --git a/test/cases/eval.zig b/test/cases/eval.zig
index 104fa8f58c..5f456364a5 100644
--- a/test/cases/eval.zig
+++ b/test/cases/eval.zig
@@ -692,4 +692,11 @@ test "zero extend from u0 to u1" {
 test "bit shift a u1" {
     var x: u1 = 1;
     var y = x << 0;
+    assert(y == 1);
+}
+
+test "@intCast to a u0" {
+    var x: u8 = 0;
+    var y: u0 = @intCast(u0, x);
+    assert(y == 0);
 }
diff --git a/test/runtime_safety.zig b/test/runtime_safety.zig
index 3d58dfe748..ece6c2283a 100644
--- a/test/runtime_safety.zig
+++ b/test/runtime_safety.zig
@@ -249,6 +249,19 @@ pub fn addCases(cases: *tests.CompareOutputContext) void {
         \\}
     );
 
+    cases.addRuntimeSafety("value does not fit in shortening cast - u0",
+        \\pub fn panic(message: []const u8, stack_trace: ?*@import("builtin").StackTrace) noreturn {
+        \\    @import("std").os.exit(126);
+        \\}
+        \\pub fn main() !void {
+        \\    const x = shorten_cast(1);
+        \\    if (x == 0) return error.Whatever;
+        \\}
+        \\fn shorten_cast(x: u8) u0 {
+        \\    return @intCast(u0, x);
+        \\}
+    );
+
     cases.addRuntimeSafety("signed integer not fitting in cast to unsigned integer",
         \\pub fn panic(message: []const u8, stack_trace: ?*@import("builtin").StackTrace) noreturn {
         \\    @import("std").os.exit(126);