{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"\"{}\","}]}
            "{}",
            detail,
            assoc_fn_params.iter().map(|p| p.ty().display(ctx.db, ctx.display_target)).format(", ")