{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.tcx.mk_clauses(&clauses.clauses)"}]}
        self.tcx.mk_clauses(&clauses.clauses)
        clauses.visit_ty_unambig(hir_ty);
    }