{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"assert!(M::Provenance::OFFSET_IS_ADDR);"}]}
                    assert!(M::Provenance::OFFSET_IS_ADDR);
                None => {
                    // Offset is absolute, as we just asserted.