fix: Test rust with recent Dafny master commit#636

robin-aws merged 4 commits intomain-1.xsmithy-lang/smithy-dafny:main-1.xfrom

robin-aws/test-rust-with-latest-dafnysmithy-lang/smithy-dafny:robin-aws/test-rust-with-latest-dafnyCopy head branch name to clipboard