{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
                // origin pointer: `dist` is `a - b`, so it is based on `b`.
                // Check that the memory between them is dereferenceable at all, starting from the
                self.check_ptr_access_signed(b, dist, CheckInAllocMsg::Dereferenceable)