-- in.cue --
import "strings"

x: [string]: int64
x: {
	y: int
}
s: strings.MinRunes(4) & strings.MaxRunes(7)

additional: {
	...
	env: _
	confs: {
		if env {}
	}
}
-- out/definition --
import "strings"

x: {
	{
		[string]: int64
	}
	y: int
}
s: strings.MinRunes(4) & strings.MaxRunes(7)
additional: {
	env: _
	confs: {
		if env {}
	}
	...
}
-- out/doc --
[]
[x]
[x y]
[s]
[additional]
[additional env]
[additional confs]
-- diff/value/explanation --
Benign change in error message.
-- out/value-v3 --
== Simplified
{
	x: {
		y: int64
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
== Raw
{
	x: {
		y: int & >=-9223372036854775808 & <=9223372036854775807
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
== Final
{
	x: {
		y: int64
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env:   _
		confs: _|_ // additional.confs: incomplete bool: _
	}
}
== All
{
	x: {
		y: int64
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
== Eval
{
	x: {
		y: int & >=-9223372036854775808 & <=9223372036854775807
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
-- diff/-out/value-v3<==>+out/value --
diff old new
--- old
+++ new
@@ -32,7 +32,7 @@
 	s: strings.MinRunes(4) & strings.MaxRunes(7)
 	additional: {
 		env:   _
-		confs: _|_ // incomplete bool: _
+		confs: _|_ // additional.confs: incomplete bool: _
 	}
 }
 == All
-- out/value --
== Simplified
{
	x: {
		y: int64
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
== Raw
{
	x: {
		y: int & >=-9223372036854775808 & <=9223372036854775807
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
== Final
{
	x: {
		y: int64
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env:   _
		confs: _|_ // incomplete bool: _
	}
}
== All
{
	x: {
		y: int64
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
== Eval
{
	x: {
		y: int & >=-9223372036854775808 & <=9223372036854775807
	}
	s: strings.MinRunes(4) & strings.MaxRunes(7)
	additional: {
		env: _
		confs: {
			if env {}
		}
	}
}
