{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// In each set, `PatBoundCtx::Product` denotes that a found binding in it should
    ///
    /// be interpreted as re-binding an already bound binding. This results in an error.