-- in.cue --
a: {
	#A
}

a: c: 1

#A: b: 1
-- out/eval/stats --
Leaks:  0
Freed:  6
Reused: 2
Allocs: 4
Retain: 1

Unifications: 6
Conjuncts:    9
Disjuncts:    7
-- out/evalalpha --
Errors:
a.c: field not allowed:
    ./in.cue:2:2
    ./in.cue:5:4

Result:
(_|_){
  // [eval]
  a: (_|_){
    // [eval]
    c: (_|_){
      // [eval] a.c: field not allowed:
      //     ./in.cue:2:2
      //     ./in.cue:5:4
    }
    b: (int){ 1 }
  }
  #A: (#struct){
    b: (int){ 1 }
  }
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -1,9 +1,7 @@
 Errors:
 a.c: field not allowed:
-    ./in.cue:1:4
     ./in.cue:2:2
     ./in.cue:5:4
-    ./in.cue:7:5
 
 Result:
 (_|_){
@@ -10,14 +8,12 @@
   // [eval]
   a: (_|_){
     // [eval]
-    b: (int){ 1 }
     c: (_|_){
       // [eval] a.c: field not allowed:
-      //     ./in.cue:1:4
       //     ./in.cue:2:2
       //     ./in.cue:5:4
-      //     ./in.cue:7:5
     }
+    b: (int){ 1 }
   }
   #A: (#struct){
     b: (int){ 1 }
-- diff/todo/p2 --
Missing positions / reordering.
-- out/eval --
Errors:
a.c: field not allowed:
    ./in.cue:1:4
    ./in.cue:2:2
    ./in.cue:5:4
    ./in.cue:7:5

Result:
(_|_){
  // [eval]
  a: (_|_){
    // [eval]
    b: (int){ 1 }
    c: (_|_){
      // [eval] a.c: field not allowed:
      //     ./in.cue:1:4
      //     ./in.cue:2:2
      //     ./in.cue:5:4
      //     ./in.cue:7:5
    }
  }
  #A: (#struct){
    b: (int){ 1 }
  }
}
-- out/compile --
--- in.cue
{
  a: {
    〈1;#A〉
  }
  a: {
    c: 1
  }
  #A: {
    b: 1
  }
}