{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":");"}]}
                    );
                        *krate,
                    ast::Type::cast(param_ty_prettified).unwrap_or(param_ty)