{"ast_node_type":"variable","tokens":[{"end":33,"kind":"keyword","start":0,"text":"let"}]}
    let mk_cause = |span: Span| {
    );
        let code = ObligationCauseCode::WhereClause(trait_ty.def_id, span);