-- in.cue --
package x

#x: {
	Name: string
}

_#x: {
	Name: string
}

x1: #x & {
	Name: "hello"
	Age:  50
}

x2: _#x & {
	Name: "hello"
	Age:  50
}
-- out/eval/stats --
Leaks:  0
Freed:  11
Reused: 8
Allocs: 3
Retain: 0

Unifications: 11
Conjuncts:    17
Disjuncts:    11
-- out/evalalpha --
Errors:
x1.Age: field not allowed:
    ./in.cue:11:5
    ./in.cue:13:2
x2.Age: field not allowed:
    ./in.cue:16:5
    ./in.cue:18:2

Result:
(_|_){
  // [eval]
  #x: (#struct){
    Name: (string){ string }
  }
  _#x(:x): (#struct){
    Name: (string){ string }
  }
  x1: (_|_){
    // [eval]
    Name: (string){ "hello" }
    Age: (_|_){
      // [eval] x1.Age: field not allowed:
      //     ./in.cue:11:5
      //     ./in.cue:13:2
    }
  }
  x2: (_|_){
    // [eval]
    Name: (string){ "hello" }
    Age: (_|_){
      // [eval] x2.Age: field not allowed:
      //     ./in.cue:16:5
      //     ./in.cue:18:2
    }
  }
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -1,10 +1,8 @@
 Errors:
 x1.Age: field not allowed:
-    ./in.cue:3:5
     ./in.cue:11:5
     ./in.cue:13:2
 x2.Age: field not allowed:
-    ./in.cue:7:6
     ./in.cue:16:5
     ./in.cue:18:2
 
@@ -22,7 +20,6 @@
     Name: (string){ "hello" }
     Age: (_|_){
       // [eval] x1.Age: field not allowed:
-      //     ./in.cue:3:5
       //     ./in.cue:11:5
       //     ./in.cue:13:2
     }
@@ -32,7 +29,6 @@
     Name: (string){ "hello" }
     Age: (_|_){
       // [eval] x2.Age: field not allowed:
-      //     ./in.cue:7:6
       //     ./in.cue:16:5
       //     ./in.cue:18:2
     }
-- diff/todo/p2 --
Positions.
-- out/eval --
Errors:
x1.Age: field not allowed:
    ./in.cue:3:5
    ./in.cue:11:5
    ./in.cue:13:2
x2.Age: field not allowed:
    ./in.cue:7:6
    ./in.cue:16:5
    ./in.cue:18:2

Result:
(_|_){
  // [eval]
  #x: (#struct){
    Name: (string){ string }
  }
  _#x(:x): (#struct){
    Name: (string){ string }
  }
  x1: (_|_){
    // [eval]
    Name: (string){ "hello" }
    Age: (_|_){
      // [eval] x1.Age: field not allowed:
      //     ./in.cue:3:5
      //     ./in.cue:11:5
      //     ./in.cue:13:2
    }
  }
  x2: (_|_){
    // [eval]
    Name: (string){ "hello" }
    Age: (_|_){
      // [eval] x2.Age: field not allowed:
      //     ./in.cue:7:6
      //     ./in.cue:16:5
      //     ./in.cue:18:2
    }
  }
}
-- out/compile --
--- in.cue
{
  #x: {
    Name: string
  }
  _#x: {
    Name: string
  }
  x1: (〈0;#x〉 & {
    Name: "hello"
    Age: 50
  })
  x2: (〈0;_#x〉 & {
    Name: "hello"
    Age: 50
  })
}