{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"ObligationCauseCode::WhereClauseInExpr(def_id,"}]}
            ObligationCauseCode::WhereClauseInExpr(def_id, span, hir_id, idx)
        self.add_required_obligations_with_code(span, def_id, args, |idx, span| {
        })