Function validate_attrs

nodedb-sql/src/planner/array_dml.rs:89–125

(
    array: &str,
    row: usize,
    attrs: &[ArrayAttrLiteral],
    view: &ArrayCatalogView,
)

}

fn validate_attrs(
    array: &str,
    row: usize,
    attrs: &[ArrayAttrLiteral],
    view: &ArrayCatalogView,
) -> Result<()> {
    if attrs.len() != view.attrs.len() {
        return Err(SqlError::Parse {
            detail: format!(
                "ARRAY {array} row {row}: attr arity {} != attr count {}",
                attrs.len(),
                view.attrs.len()
            ),
        });
    }
    for (i, a) in attrs.iter().enumerate() {
        let spec = &view.attrs[i];
        match a {
            ArrayAttrLiteral::Null if !spec.nullable => {
                return Err(SqlError::TypeMismatch {
                    detail: format!("ARRAY {array} row {row}: attr `{}` is NOT NULL", spec.name),
                });
            }
            ArrayAttrLiteral::Null => {}
            other if !attr_compatible(other, spec.dtype) => {
                return Err(SqlError::TypeMismatch {
                    detail: format!(
                        "ARRAY {array} row {row}: attr `{}` (declared {:?}) is incompatible",
                        spec.name, spec.dtype
                    ),
                });
            }
            _ => {}
        }
    }
    Ok(())
}

fn coord_compatible(c: &ArrayCoordLiteral, dtype: ArrayDimType) -> bool {
    matches!(