From 82133cd992575ab567091eaf2f12fbe5e326b5df Mon Sep 17 00:00:00 2001 From: Veikka Tuominen Date: Tue, 21 Mar 2023 00:09:00 +0200 Subject: Sema: improve error message of field access of wrapped type Closes #15027 --- .../compile_errors/field_access_of_wrapped_type.zig | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 test/cases/compile_errors/field_access_of_wrapped_type.zig (limited to 'test/cases/compile_errors') diff --git a/test/cases/compile_errors/field_access_of_wrapped_type.zig b/test/cases/compile_errors/field_access_of_wrapped_type.zig new file mode 100644 index 0000000000..9d8a7ef17c --- /dev/null +++ b/test/cases/compile_errors/field_access_of_wrapped_type.zig @@ -0,0 +1,20 @@ +const Foo = struct { + a: i32, +}; +export fn f1() void { + var foo: ?Foo = undefined; + foo.a += 1; +} +export fn f2() void { + var foo: anyerror!Foo = undefined; + foo.a += 1; +} + +// error +// backend=stage2 +// target=native +// +// :6:8: error: optional type '?tmp.Foo' does not support field access +// :6:8: note: consider using '.?', 'orelse', or 'if' +// :10:8: error: error union type 'anyerror!tmp.Foo' does not support field access +// :10:8: note: consider using 'try', 'catch', or 'if' -- cgit v1.2.3