aboutsummaryrefslogtreecommitdiff
path: root/test/cases/compile_errors/error_set_membership.zig
blob: 5683e9594b459d901f829b1cb752aae72c009b1b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
const std = @import("std");

const Error = error{InvalidCharacter};

const Direction = enum { upside_down };

const Barrrr = union(enum) {
    float: f64,
    direction: Direction,
};

fn fooey(bar: std.meta.Tag(Barrrr), args: []const []const u8) !Barrrr {
    return switch (bar) {
        .float => .{ .float = try std.fmt.parseFloat(f64, args[0]) },
        .direction => if (std.mem.eql(u8, args[0], "upside_down"))
            Barrrr{ .direction = .upside_down }
        else
            error.InvalidDirection,
    };
}

pub fn main() Error!void {
    std.debug.print("{}", .{try fooey(.direction, &[_][]const u8{ "one", "two", "three" })});
}

// error
// backend=llvm
// target=native
//
// :23:29: error: expected type 'error{InvalidCharacter}', found '@typeInfo(@typeInfo(@TypeOf(tmp.fooey)).Fn.return_type.?).ErrorUnion.error_set'
// :23:29: note: 'error.InvalidDirection' not a member of destination error set