[ptr] Fix soundness hole in "at least" invariants#909

joshlf merged 1 commit into

maingoogle/zerocopy:mainfrom

pointer-at-least-soundnessgoogle/zerocopy:pointer-at-least-soundnessCopy head branch name to clipboard