sync: verusfmt 0.7.1 edition feature#25

Marsman1996 merged 1 commit into

asterinas:mainasterinas/rust-deductive-verifier:mainfrom

Marsman1996:editionMarsman1996/rust-deductive-verifier:editionCopy head branch name to clipboard