{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
    /// The offset is given by `RHS.rem_euclid(LHS::BITS)`.
    ///
    /// In other words, it is (uniquely) determined as follows: