Use the correct copy of the DynamoDbTablesEncryptionConfig shape

robin-aws · robin-aws · commit 5830b89707cc · 2025-02-13T12:07:49.000-08:00
diff --git a/TestVectors/runtimes/rust/src/create_client.rs b/TestVectors/runtimes/rust/src/create_client.rs
@@ -25,7 +25,7 @@ impl _CreateInterceptedDDBClient_Compile::_default {
   -> Rc<_Wrappers_Compile::Result<Object<dyn IDynamoDBClient>, Rc<Error>>> 
   {
 
-    let table_configs = crate::conversions::dynamo_db_tables_encryption_config::plain_from_dafny(config);
+    let table_configs = crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb_transforms::conversions::dynamo_db_tables_encryption_config::_dynamo_db_tables_encryption_config::plain_from_dafny(config);
     let shared_config = DAFNY_TOKIO_RUNTIME.block_on(aws_config::load_defaults(
       aws_config::BehaviorVersion::v2024_03_28()));
 

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@ impl _CreateInterceptedDDBClient_Compile::_default {`
`25`	`25`	`-> Rc<_Wrappers_Compile::Result<Object<dyn IDynamoDBClient>, Rc<Error>>>`
`26`	`26`	`{`
`27`	`27`
`28`		`- let table_configs = crate::conversions::dynamo_db_tables_encryption_config::plain_from_dafny(config);`
	`28`	`+ let table_configs = crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb_transforms::conversions::dynamo_db_tables_encryption_config::_dynamo_db_tables_encryption_config::plain_from_dafny(config);`
`29`	`29`	`let shared_config = DAFNY_TOKIO_RUNTIME.block_on(aws_config::load_defaults(`
`30`	`30`	`aws_config::BehaviorVersion::v2024_03_28()));`
`31`	`31`