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

#write test.zig {
const Set1 = error{ A, B };
const Set2 = error{ A, C };
export fn entry() void {
    foo(Set1.B);
}
fn foo(set1: Set1) void {
    const x: Set2 = set1;
    _ = x;
}
#}
#update
#check errors {
test.zig:7:21: error: expected type 'error{A,C}', found 'error{A,B}'
test.zig:7:21: note: 'error.B' not a member of destination error set
#}
