{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
/// If `is_unchecked` is true, this does no masking, and adds sufficient `assume`
///
/// calls or operation flags to preserve as much freedom to optimize as possible.