cuelang.org/go@v0.13.0/cue/testdata/definitions/issue496.txtar

-- in.cue --
#A: _

#N: #A & {
	_E: {
		name: "hello"
	}
}

l: #N
-- out/eval/stats --
Leaks:  0
Freed:  8
Reused: 4
Allocs: 4
Retain: 0

Unifications: 8
Conjuncts:    13
Disjuncts:    8
-- out/evalalpha --
(struct){
  #A: (_){ _ }
  #N: (#struct){
    _E: (#struct){
      name: (string){ "hello" }
    }
  }
  l: ~(#N)
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -5,9 +5,5 @@
       name: (string){ "hello" }
     }
   }
-  l: (#struct){
-    _E: (#struct){
-      name: (string){ "hello" }
-    }
-  }
+  l: ~(#N)
 }
-- out/eval --
(struct){
  #A: (_){ _ }
  #N: (#struct){
    _E: (#struct){
      name: (string){ "hello" }
    }
  }
  l: (#struct){
    _E: (#struct){
      name: (string){ "hello" }
    }
  }
}
-- out/compile --
--- in.cue
{
  #A: _
  #N: (〈0;#A〉 & {
    _E: {
      name: "hello"
    }
  })
  l: 〈0;#N〉
}