{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // which `ptr.offset(b_offset)` cannot possibly fail to satisfy.
                // We would anyway check against `ptr_align.restrict_for_offset(b_offset)`,
                let (a_size, b_size) = (a.size(self), b.size(self));