authorgravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2022-12-27 13:46:57-07:00
committergravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2022-12-27 13:46:57-07:00
logf4b067743f2ad25a1153153e3a89e0fe92837ea7
tree85b06fc473b527aa60c04ce3b2e0fa6e2a86179f
parent19056cb6821dd03612628e9220595576878aafe7

add behavior test for optional error union return type

closes #1814

1 files changed, 13 insertions(+), 0 deletions(-)

test/behavior/error.zig+13
...@@ -889,3 +889,16 @@ test "field access of anyerror results in smaller error set" {...@@ -889,3 +889,16 @@ test "field access of anyerror results in smaller error set" {
889 try expect(@TypeOf(E2.A) == E2);889 try expect(@TypeOf(E2.A) == E2);
890 try expect(@TypeOf(@field(anyerror, "NotFound")) == error{NotFound});890 try expect(@TypeOf(@field(anyerror, "NotFound")) == error{NotFound});
891}891}
892
893test "optional error union return type" {
894 if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
895 if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
896
897 const S = struct {
898 fn foo() ?anyerror!u32 {
899 var x: u32 = 1234;
900 return @as(anyerror!u32, x);
901 }
902 };
903 try expect(1234 == try S.foo().?);
904}