{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"//"}]}
    // See next section
    // The new bound marked with (*) has to be done separately.
    for (idx, (params, orig_params)) in