{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"format!(\":"}]}
            format!(": {constraint}"),
            post,
            SuggestChangingConstraintsMessage::RestrictType { ty: param_name },