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