{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// Error E0437: type is not a member of trait.
    MethodNotMemberOfTrait(Ident, String, Option<Symbol>),
    TypeNotMemberOfTrait(Ident, String, Option<Symbol>),