{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"};"}]}
                };
                    vec![(self_ty.span.shrink_to_lo(), dyn_str.to_string())]
                diag.multipart_suggestion_verbose(