{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// Error E0415: identifier is bound more than once in this parameter list.
    VariableBoundWithDifferentMode(Ident, Span),
    IdentifierBoundMoreThanOnceInParameterList(Ident),