#zig build-obj {
--name test -fno-emit-bin
-Mroot=test.zig
#}

#write test.zig {
fn foo(a: anytype) !void {
    if (a == 0) return error.A;
    return error.B;
}
const Error = error{ A, B };
export fn entry() void {
    const info = @typeInfo(@TypeOf(foo));
    const ret_type = info.@"fn".return_type.?;
    const error_set = @typeInfo(ret_type).error_union.error_set;
    _ = Error || error_set;
}
#}
#update
#check errors {
test.zig:1:1: error: cannot resolve inferred error set of generic function type 'fn (anytype) @typeInfo(@typeInfo(@TypeOf(test.foo)).@"fn".return_type.?).error_union.error_set!void'
#}
