{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
                    let obligations = obligations.into_sorted_stable_ord();
                    // #74886: Sort here so that the output is always the same.
                    err.span_suggestion_verbose(