{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"|ty|"}]}
                    |ty| substitute_type_in_bound(ty, param_name, replacement),
                        }),
                )