Type: correctly handle ABI align strat for optionals and error unions

Closes #12984

1 files changed, 22 insertions, 0 deletions

diff --git a/test/behavior/bugs/12984.zig b/test/behavior/bugs/12984.zig
new file mode 100644
index 0000000000..a538b62e8d
--- /dev/null
+++ b/test/behavior/bugs/12984.zig
@@ -0,0 +1,22 @@
+const std = @import("std");
+const builtin = @import("builtin");
+
+pub fn DeleagateWithContext(comptime Function: type) type {
+    const ArgArgs = std.meta.ArgsTuple(Function);
+    return struct {
+        t: ArgArgs,
+    };
+}
+
+pub const OnConfirm = DeleagateWithContext(fn (bool) void);
+pub const CustomDraw = DeleagateWithContext(fn (?OnConfirm) void);
+
+test "simple test" {
+    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
+    if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
+    if (builtin.zig_backend == .stage2_c) return error.SkipZigTest; // TODO
+    if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
+
+    var c: CustomDraw = undefined;
+    _ = c;
+}