{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
    /// specify their implications (both `implies` and `implied_by`). If only one of the two
    /// This mapping is necessary unless both the `#[stable]` and `#[unstable]` attributes should
    /// attributes do (as in the current implementation, `implied_by` in `#[unstable]`), then this