Cue语言list.Contains疑似Bug？EndResult计算结果异常求助

以下是我编写的Cue代码：

import "list"

HasCar: {
  "fam1": true
}

#CheckHasCar : {
  Family: string
  FamHasCar: bool | *false
  if HasCar[Family] != _|_ {
    FamHasCar: true == HasCar[Family]
  }
}

checkfam1 : #CheckHasCar & {
  Family: "fam1"
}

checkfam2 : #CheckHasCar & {
  Family: "fam2"
}

AllFams : [checkfam1, checkfam2]
let allfamchecks = [for check in AllFams {check.FamHasCar}]
let checkResult = !list.Contains(allfamchecks, false) 

EndResult : checkResult 

按预期，checkfam2.FamHasCar应为False，EndResult结果应为False，但实际计算结果为True。请问这是Bug还是我理解有误？

问题原因：误解了Cue的默认值机制 #

这并非Bug，而是对Cue默认值逻辑的理解偏差。

在#CheckHasCar的定义中，FamHasCar: bool | *false表示该字段类型为bool，默认值是false，但这并不代表无其他约束时字段会被固定为false——它仍是开放的bool类型（可取值true或false），仅在未明确赋值时默认显示false。

对于checkfam2，由于HasCar["fam2"]不存在，条件分支if HasCar[Family] != _|_不会执行，此时FamHasCar的约束仍为bool类型（而非具体的false值）。因此allfamchecks的实际值是[true, bool]，list.Contains(allfamchecks, false)返回false（第二个元素是类型而非具体的false值），最终checkResult为!false即true。

修正方案 #

若要让FamHasCar在HasCar[Family]不存在时明确取false，需添加else分支固定值：

import "list"

HasCar: {
  "fam1": true
}

#CheckHasCar : {
  Family: string
  FamHasCar: bool
  if HasCar[Family] != _|_ {
    FamHasCar: HasCar[Family]
  } else {
    FamHasCar: false
  }
}

checkfam1 : #CheckHasCar & {
  Family: "fam1"
}

checkfam2 : #CheckHasCar & {
  Family: "fam2"
}

AllFams : [checkfam1, checkfam2]
let allfamchecks = [for check in AllFams {check.FamHasCar}]
let checkResult = !list.Contains(allfamchecks, false) 

EndResult : checkResult 

此时checkfam2.FamHasCar会被明确设置为false，allfamchecks为[true, false]，EndResult将符合预期的false。

内容的提问来源于stack exchange，提问作者Anh Tuấn Phạm