-- in.cue --
t: {
	#ok: *true | bool
	if #ok {
		x: int
	}
}
s: t & {#ok: false}
-- out/compile --
--- in.cue
{
  t: {
    #ok: (*true|bool)
    if 〈0;#ok〉 {
      x: int
    }
  }
  s: (〈0;t〉 & {
    #ok: false
  })
}
