Function check

nodedb/src/control/security/predicate_parser.rs:377–397

(pred: &RlsPredicate, known: &[&str])

    ];

    fn check(pred: &RlsPredicate, known: &[&str]) -> crate::Result<()> {
        match pred {
            RlsPredicate::Compare { value, .. } => check_value(value, known),
            RlsPredicate::Contains { set, element } => {
                check_value(set, known)?;
                check_value(element, known)
            }
            RlsPredicate::Intersects { left, right } => {
                check_value(left, known)?;
                check_value(right, known)
            }
            RlsPredicate::And(children) | RlsPredicate::Or(children) => {
                for child in children {
                    check(child, known)?;
                }
                Ok(())
            }
            RlsPredicate::Not(inner) => check(inner, known),
            RlsPredicate::AlwaysTrue | RlsPredicate::AlwaysFalse => Ok(()),
        }
    }

    fn check_value(val: &PredicateValue, known: &[&str]) -> crate::Result<()> {
        match val {