pub fn has_nil(t: TypeKey, objs: &TCObjects) -> bool
has_nil reports whether a type includes the nil value.