# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: disjunctions
#evalPartial
-- in.cue --
o1:  1 | 2 | 3
o2:  (1 | 2 | 3) & 1
o3:  2 & (1 | *2 | 3)
o4:  (1 | *2 | 3) & (1 | 2 | *3)
o5:  (1 | *2 | 3) & (3 | *2 | 1)
o6:  (1 | 2 | 3) & (3 | 1 | 2)
o7:  (1 | 2 | 3) & (2 | 3)
o8:  (1 | 2 | 3) & (3 | 2)
o9:  (2 | 3) & (1 | 2 | 3)
o10: (3 | 2) & (1 | *2 | 3)

m1: (*1 | (*2 | 3)) & (>=2 & <=3)
m2: (*1 | (*2 | 3)) & (2 | 3)
m3: (*1 | *(*2 | 3)) & (2 | 3)
m4: (2 | 3) & (*2 | 3)
m5: (*2 | 3) & (2 | 3)

// (*2 | 3) & (2 | 3)
// (2 | 3) & (*2 | 3)
// 2&(*2 | 3) | 3&(*2 | 3)
// (*1 | (*2 | 3)) & (2 | 3)
// *1& (2 | 3) | (*2 | 3)&(2 | 3)
// *2&(2 | 3) | 3&(2 | 3)

// (2 | 3)&(*1 | (*2 | 3))
// 2&(*1 | (*2 | 3)) | 3&(*1 | (*2 | 3))
// *1&2 | (*2 | 3)&2 | *1&3 | (*2 | 3)&3
// (*2 | 3)&2 | (*2 | 3)&3
// *2 | 3

// All errors are treated the same as per the unification model.
i1: [1, 2][3] | "c"
-- out/def --
o1:  1 | 2 | 3
o2:  1
o3:  2
o4:  1 | 2 | 3 | *_|_
o5:  1 | *2 | 3
o6:  1 | 2 | 3
o7:  2 | 3
o8:  2 | 3
o9:  2 | 3
o10: 3 | *2
m1:  *2 | 3
m2:  *2 | 3
m3:  *2 | 3
m4:  *2 | 3
m5:  *2 | 3

// All errors are treated the same as per the unification model.
i1: "c"
-- out/legacy-debug --
<0>{o1: (1 | 2 | 3), o2: 1, o3: 2, o4: (1 | 2 | 3 | *_|_), o5: (1 | *2 | 3), o6: (1 | 2 | 3), o7: (2 | 3), o8: (2 | 3), o9: (2 | 3), o10: (3 | *2), m1: (*2 | 3), m2: (*2 | 3), m3: (*2 | 3), m4: (*2 | 3), m5: (*2 | 3), i1: "c"}