{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"mi:"}]}
        mi: Span,
        #[suggestion_part(code = " as {trait_ref}>")]
        #[suggestion_part(code = "{suggested_name}")]