{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
///   allocation (i.e., the preconditions of `ptr::offset` must be met).
/// - For the projections that perform pointer arithmetic, the offset must in-bounds of an
#[derive(Copy, Clone, PartialEq, Eq, Hash, TyEncodable, HashStable, TypeFoldable, TypeVisitable)]