diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/.gitignore b/AwsCryptographicMaterialProviders/runtimes/rust/.gitignore
index 2c0c6bcb1..4dc4ee2cf 100644
--- a/AwsCryptographicMaterialProviders/runtimes/rust/.gitignore
+++ b/AwsCryptographicMaterialProviders/runtimes/rust/.gitignore
@@ -14,4 +14,5 @@ src/standard_library_conversions.rs
 src/standard_library_externs.rs
 src/types.rs
 src/types
+src/validation.rs
 target
diff --git a/AwsCryptographyPrimitives/runtimes/rust/.gitignore b/AwsCryptographyPrimitives/runtimes/rust/.gitignore
index fabab0a10..2bb6c716c 100644
--- a/AwsCryptographyPrimitives/runtimes/rust/.gitignore
+++ b/AwsCryptographyPrimitives/runtimes/rust/.gitignore
@@ -14,3 +14,4 @@ src/standard_library_conversions.rs
 src/standard_library_externs.rs
 src/types.rs
 src/types
+src/validation.rs
diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore
index 7f68976c1..78752dc91 100644
--- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore
+++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore
@@ -6,6 +6,7 @@ src/types
 src/types.rs
 src/timer.rs
 src/time.rs
+src/validation.rs
 src/storm_tracker.rs
 src/standard_library_externs.rs
 src/standard_library_conversions.rs
diff --git a/smithy-dafny b/smithy-dafny
index 5b66889c6..fc8abc130 160000
--- a/smithy-dafny
+++ b/smithy-dafny
@@ -1 +1 @@
-Subproject commit 5b66889c630658f963ebed04c4a4c33d2047f845
+Subproject commit fc8abc130463201789568e6ee45546fb0635146e