-- in.cue --
#def: {
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {a: string}
}
x: #def
x: c: "foo"
-- out/evalalpha/stats --
Leaks:  112
Freed:  0
Reused: 0
Allocs: 112
Retain: 0

Unifications: 16
Conjuncts:    113
Disjuncts:    58

CloseIDElems: 10
NumCloseIDs: 3
-- out/eval --
(struct){
  #def: (#struct){ |((#struct){
    }, (#struct){
      a: (string){ string }
    }, (#struct){
      c: (string){ string }
    }, (#struct){
      c: (string){ string }
      a: (string){ string }
    }) }
  x: (#struct){ |((#struct){
      c: (string){ "foo" }
    }, (#struct){
      c: (string){ "foo" }
      a: (string){ string }
    }) }
}
-- diff/-out/evalalpha/stats<==>+out/eval/stats --
diff old new
--- old
+++ new
@@ -1,9 +1,12 @@
-Leaks:  0
-Freed:  4674
-Reused: 3903
-Allocs: 771
+Leaks:  112
+Freed:  0
+Reused: 0
+Allocs: 112
 Retain: 0
 
-Unifications: 2590
-Conjuncts:    13409
-Disjuncts:    4674
+Unifications: 16
+Conjuncts:    113
+Disjuncts:    58
+
+CloseIDElems: 10
+NumCloseIDs: 3
-- out/eval/stats --
Leaks:  0
Freed:  4674
Reused: 3903
Allocs: 771
Retain: 0

Unifications: 2590
Conjuncts:    13409
Disjuncts:    4674
-- out/compile --
--- in.cue
{
  #def: {
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      c: string
    })
    ({}|{
      a: string
    })
  }
  x: 〈0;#def〉
  x: {
    c: "foo"
  }
}
