Fix `cargo build` error when spec code includes `!is`#1903

matthias-brun wants to merge 1 commit intoverus-lang:mainverus-lang/verus:mainfrom

matthias-brun:cargo-build-rejoin-tokensmatthias-brun/verus:cargo-build-rejoin-tokensCopy head branch name to clipboard