Switch hax-lib to Rust edition 2021.#1726

maximebuyse merged 1 commit intomaincryspen/hax:mainfrom

hax-lib-no-editioncryspen/hax:hax-lib-no-editionCopy head branch name to clipboard