{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"debug!(\"check_bound_universal_region(fr={:?},"}]}
        debug!("check_bound_universal_region(fr={:?}, placeholder={:?})", longer_fr, placeholder,);
    ) {