{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"check_dnf(\"#![cfg(not(any(a,"}]}
    check_dnf("#![cfg(not(any(a, not(b))))]", expect![[r#"#![cfg(all(not(a), b))]"#]]);
    check_dnf("#![cfg(not(all(not(a), b)))]", expect![[r#"#![cfg(any(a, not(b)))]"#]]);
}