{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"wfcx.register_bound("}]}
            wfcx.register_bound(
        if should_check_for_sync {
                traits::ObligationCause::new(