{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"generic_arg.stable(tables,"}]}
                    generic_arg.stable(tables, cx),
                    var_idx.stable(tables, cx),
                    user_ty_index.map(|idx| idx.index()),