{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
///   memory, the aliasig model must allow reads, this must not be a data race).
///   consequences (the inner place must be based on an aligned pointer, it must point to allocated
/// - For the projections that perform pointer arithmetic, the offset must in-bounds of an