{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"debug!(\"check_bound_universal_region:"}]}
            debug!("check_bound_universal_region: all bounds satisfied");
        } else {
        }