{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":".args_may_unify(candidate_key.args,"}]}
                        .args_may_unify(candidate_key.args, key.args)
                    && DeepRejectCtxt::relate_rigid_rigid(self.cx())
            },