m

Author: Lucas McDonald

TestVectors/runtimes/net/Extern/CreateWrappedItemEncryptor.cs

@@ -20,7 +20,7 @@ public partial class __default
             var itemEncryptor = new DynamoDbItemEncryptor(nativeConfig);
             var wrappedEncryptor = new DynamoDbItemEncryptorShim(itemEncryptor);
 
-            return new Result_Success<IItemEncryptor, _IError>(wrappedEncryptor);
+            return new Result_Success<software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.IDynamoDbItemEncryptorClient, _IError>(wrappedEncryptor);
         }
     }
 }