# DO NOT EDIT; generated by go run testdata/gen.go
#
raw: true
eval: true
noOpt: true
-- in.cue --
{
	#And: {
		#: "Fn::And": [...(3 | #And)]
	}
	#Ands: #And & {
		#: "Fn::And": [_]
	}
}
-- out/def --
#And: {
	#: {
		"Fn::And": [...3 | #And]
	}
}
#Ands: #And & {
	#: {
		"Fn::And": [_]
	}
}
-- out/export --

-- out/yaml --
{}
-- out/json --
{}
-- out/compile --
--- in.cue
{
  {
    #And: {
      #: {
        "Fn::And": [
          ...(3|〈3;#And〉),
        ]
      }
    }
    #Ands: (〈0;#And〉 & {
      #: {
        "Fn::And": [
          _,
        ]
      }
    })
  }
}
-- out/eval/stats --
Leaks:  0
Freed:  12
Reused: 3
Allocs: 9
Retain: 0

Unifications: 10
Conjuncts:    19
Disjuncts:    12
-- out/eval --
(struct){
  #And: (#struct){
    #: (#struct){
      "Fn::And": (list){
      }
    }
  }
  #Ands: (#struct){
    #: (#struct){
      "Fn::And": (#list){
        0: ((int|struct)){ |((int){ 3 }, (#struct){
            #: (#struct){
              "Fn::And": (list){
              }
            }
          }) }
      }
    }
  }
}