{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// all current users of that method would need to reset the position later,
    /// While we could manually expose manipulation of the decoder position,
    /// incurring the bounds check of set_position twice.