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