# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: associativity of defaults
#evalFull
-- in.cue --
a: *"a" | ("b" | "c")
b: (*"a" | "b") | "c"
c: *"a" | (*"b" | "c")
x: a & b
y: b & c

s1: *1 | ((*2 | 3) & (2 | *3))
s2: *1 | ((*2 | 3) & (*2 | 3))
s3: *1 | ((*2 | 3) & 3)
s4: *1 | ((*2 | 3) & 2)
s5: *1 | *(*2 | 3)
-- out/def --
x: a & b
y: b & c
a: *"a" | "b" | "c"
b: *"a" | "b" | "c"
c: *"a" | *"b" | "c"
-- out/legacy-debug --
<0>{x: "a", y: (*"a" | *"b"), a: "a", b: "a", c: (*"a" | *"b")}
-- out/compile --
--- in.cue
{
  a: (*"a"|("b"|"c"))
  b: ((*"a"|"b")|"c")
  c: (*"a"|(*"b"|"c"))
  x: (〈0;a〉 & 〈0;b〉)
  y: (〈0;b〉 & 〈0;c〉)
  s1: (*1|((*2|3) & (2|*3)))
  s2: (*1|((*2|3) & (*2|3)))
  s3: (*1|((*2|3) & 3))
  s4: (*1|((*2|3) & 2))
  s5: (*1|*(*2|3))
}
-- out/eval/stats --
Leaks:  0
Freed:  83
Reused: 74
Allocs: 9
Retain: 0

Unifications: 11
Conjuncts:    93
Disjuncts:    83
-- out/eval --
(struct){
  a: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  b: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  c: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  x: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  y: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  s1: (int){ |(*(int){ 1 }, (int){ 2 }, (int){ 3 }) }
  s2: (int){ |(*(int){ 1 }, (int){ 2 }, (int){ 3 }) }
  s3: (int){ |(*(int){ 1 }, (int){ 3 }) }
  s4: (int){ |(*(int){ 1 }, (int){ 2 }) }
  s5: (int){ |(*(int){ 1 }, *(int){ 2 }, (int){ 3 }) }
}