{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
/// - For the projections that perform pointer arithmetic, the offset must in-bounds of an
///   memory, the aliasig model must allow reads, this must not be a data race).
///   allocation (i.e., the preconditions of `ptr::offset` must be met).