From 96fd1030730e2980fa852ae45a67a2a4008bb163 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Thu, 4 Jul 2019 00:35:28 -0400 Subject: improve the error message and test coverage --- test/compile_errors.zig | 35 ++++++++++++++++++----------------- 1 file changed, 18 insertions(+), 17 deletions(-) (limited to 'test/compile_errors.zig') diff --git a/test/compile_errors.zig b/test/compile_errors.zig index c6852621e3..df4e38583c 100644 --- a/test/compile_errors.zig +++ b/test/compile_errors.zig @@ -2,6 +2,24 @@ const tests = @import("tests.zig"); const builtin = @import("builtin"); pub fn addCases(cases: *tests.CompileErrorContext) void { + cases.add( + "capture group on switch prong with incompatible payload types", + \\const Union = union(enum) { + \\ A: usize, + \\ B: isize, + \\}; + \\comptime { + \\ var u = Union{ .A = 8 }; + \\ switch (u) { + \\ .A, .B => |e| unreachable, + \\ } + \\} + , + "tmp.zig:8:20: error: capture group with incompatible types", + "tmp.zig:8:9: note: type 'usize' here", + "tmp.zig:8:13: note: type 'isize' here", + ); + cases.add( "wrong type to @hasField", \\export fn entry() bool { @@ -6073,21 +6091,4 @@ pub fn addCases(cases: *tests.CompileErrorContext) void { "tmp.zig:5:30: error: expression value is ignored", "tmp.zig:9:30: error: expression value is ignored", ); - - cases.add( - "capture group on switch prong with different payloads", - \\const Union = union(enum) { - \\ A: usize, - \\ B: isize, - \\}; - \\comptime { - \\ var u = Union{ .A = 8 }; - \\ switch (u) { - \\ .A, .B => |e| unreachable, - \\ } - \\} - , - "tmp.zig:8:20: error: switch prong contains cases with different payloads", - "tmp.zig:8:20: note: payload types are usize and isize", - ); } -- cgit v1.2.3