{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"root_cause:"}]}
                root_cause: &obligation.cause,
                obligations_for_self_ty: &mut obligations_for_self_ty,
            };