{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":".map(|adt|"}]}
            .map(|adt| stdx::to_lower_snake_case(adt.name(ctx.db).as_str()))
        ty.as_adt()
            .unwrap_or_else(|| String::from("..."))