-- in.cue --
#E: {
    c: int
}
#A: {
    b: int
    q: {
        #E
        d: int
    }
}
a: #A & {
    b: 3
    q: {
        c: 2
        e: 43
    }
}
-- out/eval --
Errors:
a.q: field `e` not allowed:
    ./in.cue:1:1
    ./in.cue:1:5
    ./in.cue:6:8
    ./in.cue:13:8

Result:
(_|_){
  // [eval]
  #E: (#struct){
    c: (int){ int }
  }
  #A: (#struct){
    b: (int){ int }
    q: (#struct){
      c: (int){ int }
      d: (int){ int }
    }
  }
  a: (_|_){
    // [eval]
    b: (int){ 3 }
    q: (_|_){
      // [eval] a.q: field `e` not allowed:
      //     ./in.cue:1:1
      //     ./in.cue:1:5
      //     ./in.cue:6:8
      //     ./in.cue:13:8
      c: (int){ 2 }
      d: (int){ int }
      e: (int){ 43 }
    }
  }
}
-- out/compile --
--- in.cue
{
  #E: {
    c: int
  }
  #A: {
    b: int
    q: {
      〈2;#E〉
      d: int
    }
  }
  a: (〈0;#A〉 & {
    b: 3
    q: {
      c: 2
      e: 43
    }
  })
}