{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! be sound, we need to check a number of conditions:
//! * `p` and `q` must both be *constant* - it does not make much sense to talk about merging them