{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"};"}]}
    };
        vec![]
    ecx.dcx().emit_err(errors::FormatUnknownTrait { span: sp.unwrap_or(fmt_span), ty, suggs });